// ---------- Quick redirection ------------
function redirect(elem_id,lang) {
	if(document.getElementById(elem_id) != null && document.getElementById(elem_id).value != "") {
		window.location = "http://www.pluscity.at/?lan="+lang+"&id="+document.getElementById(elem_id).value;
	}
}

// ----------------------
// Clear search box

var cleared = false;
function clearPatternBox() {
	if(cleared == false) {
		document.getElementById('pattern').value = '';
		cleared = true;
	}
}