function quickSearch() {
	var s = document.getElementById('quickSearch').value;
	location.href='suche_quick.html?s=' + encodeURIComponent(s);
}

function addLoadEvent(func) {
	var ol = window.onload;

	window.onload = function() {
		if(ol) ol.call();
		func.call();		
	}	
}

addLoadEvent(function() {
	var si = document.getElementById('quickSearch');
	si.onkeydown = function(e) {
		e = e || window.event;
		if (e.keyCode == 13) {
			quickSearch();
			return false;
		}
	};

});