var t = false;
function show_sub()
{
	sub = document.getElementById('sub-menu');
	sub.style.display='block';
	if(t != false)
	{
		clearTimeout(t);
	}
}
function clear_the_timer()
{
	if(t != false)
	{
		clearTimeout(t);
	}
}
function hide_sub()
{
	t =setTimeout('hide_it()',1000)
}
function hide_it()
{
	sub = document.getElementById('sub-menu');
	sub.style.display='none';
}