var xmlhttp
function loadXMLDoc(url)
{

// code for Mozilla, etc.
if (window.XMLHttpRequest)
  {
  xmlhttp=new XMLHttpRequest()
  xmlhttp.onreadystatechange=state_Change
  xmlhttp.open("GET",url + "?hash=" + Math.random(),false)
  xmlhttp.send(null)
  }
// code for IE
else if (window.ActiveXObject)
  {
  xmlhttp=new ActiveXObject("Microsoft.XMLHTTP")
    if (xmlhttp)
    {
	xmlhttp.onreadystatechange=state_Change
    xmlhttp.open("GET",url + "?hash=" + Math.random(),false)
    xmlhttp.send()
    }
  }
}

function state_Change()
{
// if xmlhttp shows "loaded"
if (xmlhttp.readyState==4)
  {
  // if "OK"
  if (xmlhttp.status==200)
  {
  document.getElementById('helpBody').innerHTML=xmlhttp.responseText
  }
  else
  {
  document.getElementById('helpBody').innerHTML="<p>No file was found</p>"
  }
  }
}