If in CMC the CMS server shows several open sessions for a particular user, but the user says they have all hung and the browser windows have been closed, how can the sessions be killed?