function imageOver(imageNr) {
	document.getElementById("img"+imageNr).src = "/fileadmin/pix/image" + imageNr + "_text.gif";
}
function imageOut(imageNr) {
	document.getElementById("img"+imageNr).src = "/fileadmin/pix/image" + imageNr + ".gif";
}