Compact Semitopological Semigroups