function highlight(img_name) {
	var bildname = document[img_name].src;
	var bildname_neu = bildname.replace(/.jpg/g, "_h.jpg");
 	document[img_name].src = bildname_neu;
}

function normal(img_name) {
	var bildname = document[img_name].src;
	var bildname_neu = bildname.replace(/_h.jpg/g, ".jpg");
 	document[img_name].src = bildname_neu;
}