// JavaScript Document

var hidetime;

function showlist()
{
	clearTimeout(hidetime);
	document.getElementById('hiddenlist').style.display='block';
}

function hidelist()
{
	hidetime=setTimeout(dohide, 500);
}

function dohide()
{
	document.getElementById('hiddenlist').style.display='none';
}