function butover() 
	{

	var bildname = 'button';
	image_over = new Image(); 
	image_over.src = '/dateien/images/button_aktiv.jpg';
	if (document.images[bildname]){
		document.images[bildname].src = image_over.src;
	}
	
}

function butout(x)
	{
	var bildname = 'button';
	image = new Image(); 
	image.src = '/dateien/images/button_inaktiv.jpg';
if (document.images[bildname]){
	document.images[bildname].src = image.src;
	}

}