var hasDHTML = true;
var theCommand = "none";
function noDHTML() {
	if (document.all) document.all.dhtml.style.display=theCommand;
	else if (document.getElementById) 		document.getElementById("dhtml").style.display=theCommand;
}
function selMenu() {
var frm = document.navi.url;
if (frm[frm.selectedIndex].value) {window.document.location.href=frm[frm.selectedIndex].value};
}