function ShowMenu()
{
	if ( navigator.appName == "Netscape" && 	navigator.appVersion.substring(0,1) <= 4) {
		// premature end of function ;-)
		return;
	}
	var jumpto = new Array (
		"0|DFNNetNews - Quickmenü",
		"http://news.cis.dfn.de/|Startseite",	
		"http://news.cis.dfn.de/register.html|Anmeldung",	
		"https://news.cis.dfn.de/remail.html|Zugangsdaten vergessen",	
		"http://news.cis.dfn.de/rules.html|Regeln zur Benutzung",	
		"http://news.cis.dfn.de/config.html|Konfiguration",	
		"http://news.cis.dfn.de/hierarchies.html|Hierarchien",	
		"http://news.cis.dfn.de/faq.html|Fragen und Antworten (FAQ)",
		"http://news.cis.dfn.de/impressum.html|Impressum"
	);
	document.write('<form name="quickmenu">');
	document.write('<select name="locations" onChange="Go2(this.form)" class="input" style="font-size:12px">');
	for (var i=0;i<jumpto.length;i++) {
		var opt = jumpto[i].split('|');
		document.write('<option value="' + opt[0] + '">' + opt[1]);
	}
	document.write('</select></form>');
}

function Go2(f)
{
	var url = f.locations.options[f.locations.selectedIndex].value;
	if (url != "0") {
		document.location=url;
	}
}