function menu_show( id ) 
{
    var d = document.getElementById( id );

    d.style.display='block';

}

function bold_menu( id ) 
{
    var d = document.getElementById( id );

    d.style.fontWeight='bold';        

}