function blinking_header()
{
if (!document.getElementById('blink').style.color)
    {
    document.getElementById('blink').style.color="red"
    }
if (document.getElementById('blink').style.color=="white")
    {
    document.getElementById('blink').style.color="red"
    }
else
    {
    document.getElementById('blink').style.color="white"
    }

timer=setTimeout("blinking_header()",100)
}

function stoptimer()
{
clearTimeout(timer)
}