function doc_onmouseover(id, img2) {
	document.images[id].src=img2;
	
	}
function doc_onmouseout(id, img1) {
	document.images[id].src=img1;
	}