<!--
//This function is for changing the header color

function headerOver(id) {
  document.getElementById(id).bgColor="red";
}

function headerOut(id) {
  document.getElementById(id).bgColor="black";
}

// -->