function getElement(elementID) {
  if(document.all) {
    return document.all[elementID];
  } else {
    return document.getElementById(elementID);
  }
}

function highlight(elementID)
{
  getElement("" + elementID).className = 'menupod';
}

function normal(elementID)
{
  getElement("" + elementID).className = 'menu';
}

function highlighttop(elementID)
{
  getElement("" + elementID).className = 'menutoppod';
}

function normaltop(elementID)
{
  getElement("" + elementID).className = 'menutop';
}

function highlightpodmenu(elementID)
{
  getElement("" + elementID).className = 'podmenupod';
}

function normalpodmenu(elementID)
{
  getElement("" + elementID).className = 'podmenu';
}