function sf(){
	document.loginform.username.focus();
}

var fenster; var url; var name;
function popup(url, name) {
	if (fenster == null || fenster.closed) {
		fenster = window.open(url,name,"width=680,height=600,resizable,scrollbars=yes,top="+((screen.height/2)-(680/2))+",left=150");
	}
}

function srHide() {
	// 'Globale Suche'-Fenster schliessen
	document.getElementById('search-results').style.visibility = 'hidden';
}