function toggleSrc(name, over) {
  if (over) {
    document.images[name+"_image"].src = "images/" + name + "_on.gif";
  } else {
    document.images[name+"_image"].src = "images/" + name + ".gif";
  }
}