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