function hid_umenu()
{
 document.getElementById('umenubox').style.visibility="hidden";
}

function show_umenu()
{
 document.getElementById('umenubox').style.visibility="visible";
}