// JavaScript Document

var Exec = new Array('01', '02');

function smenu(what)
{
	Exec[what]=0;
	var div = document.getElementById('nav_' + what);
	
	div.style.display = 'block';
}

function hmenu(what)
{
	var div = document.getElementById('nav_' + what);
	
	Exec[what] = setTimeout('hide(\''+what+'\')', 800);
}

function hide(what)
{
	if(Exec[what]!=0)
	{
		var div = document.getElementById('nav_' + what);
		div.style.display = 'none';
	}
}