function norefWIN(url){
	nrw = window.open();
	nrw.location.href=url;
}

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