//~ var loadtimeout = 3*1000;
if (loadtimeout == undefined)
  var loadtimeout = 5*60*1000;

function websessionupdate()
{
  //~ alert(processingxmltagcount);
  if (!processingxml)
    loadXMLDoc("websessionupdater.php");

  setTimeout('websessionupdate()', loadtimeout)
}

setTimeout('websessionupdate()', loadtimeout)