// javascript snipplet that reloads a single x.gif every [interval] seconds
// and keeps the users session alive over time that way.
	
  interval = 240000; // refresh interval 
  dimg  = new Image();
  img = '/gd/s22.do;jsessionid=';
  imgid = 2;
  firstrun = 1;

  function SessionTimer(sid){
	
      if (firstrun != 1) {
        dimg.src = img + sid + '?rnd=' + Math.random();
        document.images[imgid].src = dimg.src;
      }
      firstrun = 0;
      self.setTimeout('SessionTimer("'+sid+'")', interval);
  }