function showmenu(elmnt)
{
document.getElementById(elmnt).style.visibility="visible"
}


function hidemenu(elmnt)
{
document.getElementById(elmnt).style.visibility="hidden"
}


function blinklink()
{
if (!document.getElementById('blink').style.color)
	{
	document.getElementById('blink').style.color="red"
	}
if (document.getElementById('blink').style.color=="red")
	{
	document.getElementById('blink').style.color="yellow"
	}
else
	{
	document.getElementById('blink').style.color="red"
	}
timer=setTimeout("blinklink()",100)
}

function stoptimer()
{
clearTimeout(timer)
}