function selectmenu(menu)
{
 var objmenu;
 objmenu=document.all?eval("document.all."+menu):document.getElementById(menu);
 objmenu.style.color='red';
 objmenu.style.textDecoration='underline';
}

function unselectmenu(menu)
{
 var objmenu;
 objmenu=document.all?eval("document.all."+menu):document.getElementById(menu);
 objmenu.style.color='white';
 objmenu.style.textDecoration='none';
}