function ovr(img){

	
	document.getElementById(img).src= "images/" + img + "_on.gif";


}

function out(img){

	
	document.getElementById(img).src= "images/" + img + "_off.gif";

}