/**
 * Mouseover-Effekt bei den Buttons
 */	
function buttonchange(id, picname) {
	document.getElementById(id).src = "fileadmin/images/" + picname + ".png";
}


function buttonchangeGif(id, picname) {
	document.getElementById(id).src = "fileadmin/images/" + picname + ".gif";
}