function jumpto(x){if (document.form1.jumpmenu.value != "null") {	document.location.href = x	}}