function change(name){
//	als name nur bildname ohne dateiendung übergeben
	var allImg =  document.images;
	for(var i = 0; i < allImg.length; i++){
		if(allImg[i].src.indexOf(name) != -1){
			if(allImg[i].src.indexOf("-a.gif") != -1){
				j = allImg[i].src.indexOf("-a.gif");
				s1 = allImg[i].src.substring(0, j);
				s1 += ".gif";
				allImg[i].src = s1;
				break;
			}else{
				j = allImg[i].src.indexOf(".gif");
				s1 = allImg[i].src.substring(0, j);
				s1 += "-a.gif";
				allImg[i].src = s1;
				break;
			}
		}
	}
}