function quicklaunch() {
	var f = document.forms["quicklaunch"];
	var e = f.elements["dropdownnavi"];
	var g = e.options[e.selectedIndex].value;
	if (g != "") top.document.location.href = g;
	return false;
}