// JavaScript Document
function on_image(src,id){
	var src=src;
	var id=id;
	src=src.replace("_1","_2");
	document.getElementById(id).src=src;
	}
function out_image(src2,id2){
	var src2=src2;
	var id2=id2;
	src2=src2.replace("_2","_1");
	document.getElementById(id2).src=src2;
	}