// JavaScript Document
 function ch_img(image_name, image_src)
   {
   document[image_name].src = image_src;
   }