function make_hot(name) {

  newsrc = "images/" + name + "_on.gif";
  document[name].src = newsrc;

}

function make_norm(name) {

  newsrc = "images/" + name + ".gif";
  document[name].src = newsrc;

}