function java_hover(img_name, img_src)

{

	document[img_name].src = img_src;

}