function changeColor(){ var color="#f00|#ccc|#ff6600"; 
color=color.split("|"); 
document.getElementById("blink").style.color=color[parseInt(Math.random() * color.length)]; 
} setInterval("changeColor()",200);