function show_submenu(a)
{
if ((a==0)||(a==1)||(a==2))
{
window.document.getElementById("sub"+a).style.display="block";
}
}

function hide_submenus()
{
window.document.getElementById("sub0").style.display="none";
window.document.getElementById("sub1").style.display="none";
window.document.getElementById("sub2").style.display="none";
window.document.getElementById("sub3").style.display="none";
}

function foc1(a)
{
a.blur();
}