var desplegado = '';
var submenu_item_over = false;
var pointer_over_submenu = false;
function submenu (id)
{
    if (desplegado)
    {
        hide_submenu(desplegado);
    }
    show_submenu(id);
    desplegado = id;
}
function hide_submenu (id)
{
    document.getElementById('submenu_' + id).style.visibility = 'hidden';
}
function mouseOutMenu ()
{
    if (!pointer_over_submenu)
    {
        hide_submenu(desplegado);    
    }
}
function show_submenu (id)
{
    document.getElementById('submenu_' + id).style.visibility = 'visible';
}
