var xmlHttp

function updateData(str,mydiv)
{
      xmlHttp=GetXmlHttpObject()
      if (xmlHttp==null)
      {
            alert ("Browser does not support HTTP Request")
            return
      }
      thisdiv=mydiv
      var myurl="process.php"
      var d = new Date()
      var time = d.getTime()
      myurl=myurl + "?" + str + "&time=" + time
      xmlHttp.onreadystatechange=stateChanged
      xmlHttp.open("GET",myurl,true)
      xmlHttp.send('ie=teh_suck')
}

function stateChanged()
{
      if (xmlHttp.readyState==4 || xmlHttp.readyState=="complete")
      {
            document.getElementById(thisdiv).innerHTML=xmlHttp.responseText
      }
}

function GetXmlHttpObject()
{
      var xmlHttp=null;
      try
      {
            // Firefox, Opera 8.0+, Safari
            xmlHttp=new XMLHttpRequest();
      }
      catch (e)
      {
            //Internet Explorer
            try
            {
                  xmlHttp=new ActiveXObject("Msxml2.XMLHTTP");
            }
            catch (e)
            {
                  xmlHttp=new ActiveXObject("Microsoft.XMLHTTP");
            }
      }
      return xmlHttp;
}

function ChangePubState(str)
{
      var myurl="process.php"
      myurl=myurl + "?" + str
      xmlHttp.open("GET",myurl,true)
      xmlHttp.send(null)
}