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