<!-- COMMON CLIENT-SIDE SCRIPTING FILE
//----------------------------------------------------------
//handles the mouse going over a link
function mouseOverLink(theLink) {
  theLink.style.color = "#FF0000";
}

//----------------------------------------------------------
//handles the mouse coming out of a link
function mouseOutLink(theLink) {
  theLink.style.color = "#000080";
}

-->
