function cleansearch() {
	content = document.getElementById('suchen');
	if (content.value == "Volltextsuche...") {
		content.value = '';
	} else { 
		if (content.value == "") {
			content.value = "Volltextsuche...";
		}	
	}	
}	

function xmail(address) {
	var myNewString=address.replace(" AT ","@");
	location.href="mailto:"+myNewString;
}

$(document).ready(function() {
	$("#tabs").tabs();
});