var colors = new Array('red','white','blue','white');
var used = 0;
function Flash() {
if (document.all.flasher) {
if (used == colors.length) used = 0;
flasher.style.color = colors[used];
used++; }
}