var t;

function show(id)
{
	document.getElementById(id).style.display = 'block';
}
function hide(id)
{
	document.getElementById(id).style.display = 'none';
	clearTimeout(t);
}
function hide_t(id)
{
	t = setTimeout("document.getElementById('"+id+"').style.display = 'none'", 500);
}
function killT()
{
	clearTimeout(t);
}