/** @type Array */
var colors = [ "#fd6c00", "#fcff00", "#00b0f8" ];	// Orange, Yellow, Cyan
var currentColor = -1;

function initHover() { 
  var anchors = document.getElementsByTagName("a");
  for(var i=0; i<anchors.length; i++) {
    var anchor = anchors.item(i);
    
    anchor.onmouseover = doHover;
    anchor.onmouseout = cancelHover;
  }
}

function doHover() {
	currentColor++;
	if (currentColor > 2)
		currentColor = 0;
  this.style.color = colors[currentColor];
}

function cancelHover() {
  this.style.color = "black";
}