// JavaScript Document


function highlightOn(el)
{
  currPageDiv = document.getElementById("menuitem_s");
  if(el != currPageDiv)
    el.className = "menuitem_h";
}
function highlightOff(el)
{
  currPageDiv = document.getElementById("menuitem_s");
  if(el != currPageDiv)
    el.className = "menuitem";
}