function doExit ()
{
  //
}