function jump(){
	var url = document.menu.select.options[document.menu.select.selectedIndex].value; 
	if(url != "" ){
		location.href = url;
	}

}