function setMenuHighlight (MyID, MyClass)
{
    document.getElementById(MyID).className = MyClass;
}