function change(image) {
	dotindex = image.src.lastIndexOf(".");
	imagename = image.src.substr(0,dotindex);
	imagename = imagename + "_hover" + image.src.substr(dotindex);
	image.src = imagename;
}

function changeback(image) {
	hoverindex = image.src.lastIndexOf("_hover");
	imagename = image.src.substr(0,hoverindex) + image.src.substr(hoverindex+6);
	image.src = imagename;
}