// JavaScript Document

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