<!--
function menu(nr)
{
for(i=1;i<4;i++)
document.all['submenu0'+i].style.visibility='hidden';

if (nr!=0)
document.all['submenu'+nr].style.visibility='visible';
}

function ddd()
{
for(i=1;i<4;i++)
{
document.all['submenu0'+i].style.visibility='visible'
document.all['submenu0'+i].style.visibility='hidden'
}
}

function viz(name)
{name.style.backgroundColor = "#bbbbcc";}

function hid(name)
{name.style.backgroundColor = "#aaaabb";}
//-->