// JavaScript Document

var max_menus=1;
var show;
var submenu;
function show_submenu(x)
{
for(i=1;i<=max_menus;i++)
document.getElementById('submenu'+i).style.display='none';

show=true;
document.getElementById('submenu'+x).style.display='block';
submenu=x;
}

function hide_submenu()
{
show=false;
setTimeout(hide_it,1000);
}
function hide_it()
{
if (!show)
document.getElementById('submenu'+submenu).style.display='none';
}