// replace image with another image (for mouse over and the likes)
function changeImage(img_name, img_src) {
  document[img_name].src = img_src;
}