var windowHandle = null;
 var windowHandle_closed = false;



  function closeWindow() {
     if (windowHandle != null) {
         if (!windowHandle_closed) {
             windowHandle_closed = true;
             windowHandle.close();
         }
     }
 }