function boxOver (which)
{ if (document.getElementById)
  { document.getElementById(which).style.backgroundColor = "#990000";
    document.getElementById(which).style.border = "white solid 1px"; }
}

function boxOut (which)
{ if (document.getElementById)
  { document.getElementById(which).style.backgroundColor = "#1d5d71";
    document.getElementById(which).style.border = "#1d5d71 solid 1px"; }
}