var timeHide="1500";
var mar="89";

function v(div) {
clearTimeout(idTimeOut);
document.getElementById(div).style.visibility='visible';
}

function h(div) {
document.getElementById(div).style.visibility='hidden';
}

function hideAll() { 
for (i=0;i<arrDiv.length;i++)
{  document.getElementById(arrDiv[i]).style.visibility='hidden';  }
}

function time() { idTimeOut=setTimeout('hideAll()',timeHide); }

function hideLevel(divVis) {
arrDiv=eval(arrDiv);
for (i=0;i<arrDiv.length;i++)
{ if (arrDiv[i]!=divVis) h(arrDiv[i]); else v(arrDiv[i]); }
}