function setMenu($page)
{
    $obj = document.getElementById('menu_link_'+$page);
    if($obj)
    {
        $obj.style.textDecoration='underline';
    }
}