function blinking_header()
{
if (!document.getElementById('blink').style.color)
	{
	document.getElementById('blink').style.color="#ff6600"
	}
if (document.getElementById('blink').style.color=="#ff6600")
	{
	document.getElementById('blink').style.color="#800000"
	}
else
	{
	document.getElementById('blink').style.color="#ff6600"
	}
timer=setTimeout("blinking_header()",500)
}

function stoptimer()
{
clearTimeout(timer)
}