function logout()
{   if  ( navigator.userAgent.match(/MSIE/) )
    {  if (window.opener && !window.opener.closed)
         window.opener.close();
       window.close();
    }
    else
       window.confirm("Please close your browser to logout.\n Do this by the Quit option on the File menu.");
}