function over(tagid) {
  var a = document.getElementById(tagid);
  a.style.color = "#d00";
}
function out(tagid) {
  var a = document.getElementById(tagid);
  a.style.color = "";
}