  <!--
    function chang_img01(img_name){ if(document.images)document.slide01.src = img_name; }
    function chang_img02(img_name){ if(document.images)document.slide02.src = img_name; }
    function chang_img03(img_name){ if(document.images)document.slide03.src = img_name; }
  // -->