function hovChange(id){
	var filename = document.getElementById(id).src
	var extension = filename.charAt(filename.length-3) + filename.charAt(filename.length-2) + filename.charAt(filename.length-1)
	if(filename.charAt(filename.length-5) == "_"){
		filename = filename.substring(0,filename.length-5) + "." + extension
	}
	else{filename = filename.substring(0,filename.length-4) + "_." + extension}
	document.getElementById(id).src = filename
}