function nav(select) {
	var menu = document.theform.elements[select];
	var dest = menu.options[menu.selectedIndex].value
	
	if (dest == "") {
		menu.selectedIndex = selectIndex;
	}	
	else {
		selectIndex = menu.options.selectedIndex;
		location.href=dest;
		
		// need to change this later to match Leo's url scheme
		
	}
}


function runReport() {
	document.theform.target = "reportwindow";
	submitForm();
}

function deleteReport() {
	document.theform.dodelete.value = "true";
	document.theform.target = "_self"
	form_url = "report.html";
	submitForm();
}