function $(id) { return document.getElementById(id); }
   function session_keepalive()
   {
      var im = new Image();
      im.src = "/keep-alive";
   }