//Function to toggle the top menu graphics to and from their on states
function topMenuOnOff(oElement, sName, iOnOff)
{
  var sName = "images/topmenu-" + sName;
  if (iOnOff) {
    sName = sName + "-on.gif";
  } else {
    sName = sName + "-off.gif"
  }
  oElement.src=sName;
}

function menuOnOff(oElement, iOnOff)
{
  var sName = "../images/menubutton";
  if (iOnOff) {
    sName = sName + "-on.gif";
  } else {
    sName = sName + "-off.gif"
  }
  oElement.src=sName;
}