var hoverBgColor = "#FFF7DB";
var hoverColor = "#FF0000";

function hover(layer) {
  var link, str;
  link = layer.document.links[0];
  str = '<a href="' + link.href + '"';
  if (link.target)
  str += ' target= "' + link.target + '"'
  str += '><font color="' + hoverColor + '" face="ms sans serif" size="1"><u>' + link.text + '</u></font>';
  layer.hoverLayer = new Layer(layer.clip.width, layer);
  layer.hoverLayer.document.open("text/html", "replace");
  layer.hoverLayer.document.write(str);
  layer.hoverLayer.document.close();
  layer.hoverLayer.bgColor = hoverBgColor;
  layer.hoverLayer.visibility = "show";
  layer.onMouseOver = hoverOn;
  layer.onMouseOut = hoverOff;
}

function hoverOn() {
  this.hoverLayer.visibility = "show";
}

function hoverOff() {
  this.hoverLayer.visibility = "hide";
}