var IE = {
  Version: function() 
  {
    var version = 999; // we assume a sane browser
    if (navigator.appVersion.indexOf("MSIE") != -1)
      // bah, IE again, lets downgrade version number
      version = parseFloat(navigator.appVersion.split("MSIE")[1]);
    return version;
  }//Version()
}//IE

function changeMenu(url, target)
{
  document.getElementById(target).innerHTML = ' Fetching data...';
  if (window.XMLHttpRequest) 
  {
    req = new XMLHttpRequest();
  }//if any other browser but IE
  else if (window.ActiveXObject) 
  {
    req = new ActiveXObject("Microsoft.XMLHTTP");
  }//else if IE
  if (req != undefined) 
  {
    req.onreadystatechange = function() {fetchDone(url, target);};
    req.open("GET", url, true);
    req.send("");
  }//if we have support at all, process it
}  

function fetchDone(url, target) 
{
  if (req.readyState == 4) 
  {
    if (req.status == 200) 
    {
      document.getElementById(target).innerHTML = req.responseText;
    }// only if "OK"
    else 
    {
      document.getElementById(target).innerHTML="Error:\n"+ req.status + "\n" +req.statusText;
    }//else something went wrong
  }// only if req is "loaded"
}//fetchDone(url, target)

var selected;
function changeCurrent(elementName)
{
  eleObj = document.getElementById(elementName);
  if (IE.Version() < 8) 
  {
    if(selected)
    {
      selected.className = (selected.className).substring(0,((selected.className).length)-6);
    }
    eleObj.className = eleObj.className + 'active';
  }// if client is using IE7 or lower
  else
  {
    if(selected)
    {
      selected.setAttribute('class', (selected.className).substring(0,((selected.className).length)-6));
    }
    eleObj.setAttribute('class', eleObj.className + 'active');
  }//else they have a decent, modern browser
  selected = eleObj;
}//changeCurrent(elementName)

function load(name, div, elementName)
{
	changeMenu(name,div);
  changeCurrent(elementName);
	return false;
}//load(name,div,elementName)