function toggleSrc(name, over) {
  if (over) {
    document.images["Pic" + name].src = "images/k_images/ktis/gleg_ktis_" + name + ".gif";
  } else {
    document.images["Pic" + name].src = "images/k_images/ktis/gleg_ktis_" + name + "_off.gif";
  }
}