<!--
    function roll_over(img_name, img_src)
       {
       document[img_name].src = img_src;
       }

//-->