// JavaScript Document
<!--
  function chg_img (img_name,img_src) {
    document[img_name].src=img_src;
  }
-->