//Hover-Funktionalität für Bilder
	function mouseOver(image_object) {
		image_object.src = image_object.src.replace(/\.(jpg|gif|png)/, "_hover.$1");
	}
	function mouseOut(image_object) {
		image_object.src = image_object.src.replace(/_hover/, "");
	}