newURL=null;
   function visit(newURL) {
      if (newURL != "") {
        window.location.href=newURL
      }
    }