/* Skifter ikonet på menu-træerne */
	function toggle( element, billede ) {
		if( element.style.display == "" ) {
			element.style.display = "none"
			billede.src = "/grafik/plus.jpg"
		} else {
			element.style.display = ""
			billede.src = "/grafik/minus.jpg"
		}
	}

/* Logger brugeren ud */
	function logud() {
		document.forms[0].submit();
	}
	
/* Sætter fokus i et givet vindue */	
	function setFocus() {
	document.forms[0].user.focus();
}