function highlight_menu_link(id,highlight)
{
 document.getElementById('menu_'+id).style.textDecoration=(highlight?'underline':'none');
 document.getElementById('menu_'+id).style.color=(highlight?'#ff9900':'');
 
 
}