<!-- 
function jumpto(x){

if (document.SelectMenu.jumpmenu.value != "null") {
	document.location.href = x
	}
}
// -->