<!--

function getElement(elementID)
{
  if(document.all)
  {
  war=new String(elementID);
//    alert(war);
    return document.all[elementID];
  }
  else
  {
  war=new String(elementID);
//    alert(war);
    return document.getElementById(elementID);
  }
}


function highlight(elementID)
{
//    alert(elementID);
  getElement(elementID).className = 'active';

}

function normal(elementID)
{
//  alert(elementID);
  getElement(elementID).className = 'normal';

}



-->