// Gibt einen GET Paarameter zurueck
<!--
HTTP_GET_VARS=new Array();
strGET=document.location.search.substr(1,document.location.search.length);
if(strGET!='') {
	gArr=strGET.split('&');
	for(i=0;i<gArr.length;++i) {
		v='';
		vArr=gArr[i].split('=');
		if(vArr.length>1){
			v=vArr[1];
		}
		HTTP_GET_VARS[unescape(vArr[0])]=unescape(v);
	}
}

function encode_utf8( s ) {
  return unescape( encodeURIComponent( s ) );
}

function decode_utf8( s ) {
  return decodeURIComponent( escape( s ) );
}	

function GET(v) {
	if(!HTTP_GET_VARS[v]){
		return 'undefined';
	}
	return HTTP_GET_VARS[v];
}

// Sorgt dafür, dass der aktuelle Suchbegriff nicht verschwindet.
function WriteSearchQueryString() {
	// Falls im Input-feld "zoom_query" der String "Suchen" steht, diesen Wert 
	// gegen den GET Parameter zoom_query austauschen. 
	if (document.zoom_searchform.zoom_query.value == "Suchen") {
		document.zoom_searchform.zoom_query.value = decode_utf8(GET('zoom_query')) ;
	}
}
// -->