<!-- hide
function highlight(which)
{
 var thisMenu = document.getElementById(which).style;
 
 thisMenu.background='#DD5555';
}

function deHighlight(which)
{
 var thisMenu = document.getElementById(which).style;

 thisMenu.background='#999988';
}
//end hide -->