<!-- Begin
function blink(elementid)
{
colorarray = Array( '#000000', '#111111', '#222222', '#333333', '#444444', '#555555', '#666666', '#777777', '#888888', '#999999', '#AAAAAA', '#BBBBBB', '#CCCCCC', '#FF0000', '#FF0000', '#FF0000' );
i=0;
setInterval ("changecolor('"+elementid+"')",100);
} 
function changecolor(x) 
{
var x= document.getElementById(x);
if (x != null)
{     
x.style.color = colorarray[i];
if (i==14)
{ 
i= 0;       
colorarray = colorarray.reverse();
}
}      
i++;
}
// Einde -->