// skript fuer den bildwechsel des senden-knopfes im suchformular
if(document.getElementById && document.createTextNode) {
	function swap() {
		if(document.getElementById('senden')) {
			var senden = document.getElementById('senden');
			senden.onmouseover = function() {this.setAttribute('src','images/b_pfeil_gruen.png');}
			senden.onmouseout = function() {this.setAttribute('src','images/b_pfeil.png');}
		}
	}
}
// ende

window.onload = function() {
	swap();
}