//bildrollover
if (document.getElementsByTagName) {
	toggle = function(a) {
		var img = a.getElementsByTagName('img')[0];
		var src = img['src'];
		if (src.indexOf('_active') > -1) 
			img["src"] = src.replace("_active", ""); 
		else 
			img["src"] = src.replace(".gif", "_active.gif"); 
	};
}
else {	
	toggle = function() { return; };
}