function gif_change1(img_file,img_name) {
image="images/"+img_file+".gif"
document[img_name].src=image;
}