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