var int;

function hidemenus(exc)
{
clearInterval(int);
int = null;
for (id=7; id<=7; id++){
if (id != exc) document.all("mnui"+id).style.visibility = "hidden";
}
}

function outobject()
{
int = setInterval("hidemenus(20)",1000);
// ison=0;
}

function onheader(hID)
{
document.all("mnui"+hID).style.visibility = "visible"
}

function onobject()
{
clearInterval(int);
int = null;
}