function changeColor(){
    var color="#f00|bai#0f0|#00f|#880|#808|#088|green|blue|gray";
    color=color.split("|");
    var random_int = parseInt(Math.random()*color.length);
    document.getElementById("blink1").style.color=color[random_int];
    document.getElementById("blink2").style.color=color[random_int];
}
setInterval("changeColor()",800);