function doMouseOver( mp )
{
  document.getElementById(mp).style.borderTopColor = "#783913";
  document.getElementById(mp).style.borderBottomColor = "#783913";
  document.getElementById(mp).style.borderRightColor = "#783913";
}

function doMouseOut( mp )
{
  document.getElementById(mp).style.borderTopColor = "#DCB87E";
  document.getElementById(mp).style.borderBottomColor = "#DCB87E";
  document.getElementById(mp).style.borderRightColor = "#DCB87E";
}