function switch_img(div_name,img_name)
 {
	document.getElementById(div_name).src="single/"+img_name+"_hover.gif";
 }

 function switch_img2(div_name,img_name)
 {
	document.getElementById(div_name).src="single/"+img_name+".gif";
 }