function rollover($key) { 
  document.getElementById($key).style.border="2px solid rgb(240,51,51)";
}
function rollout($key) { 
  document.getElementById($key).style.border="2px groove white";
}