function openDiveMenuItem(){
	if(document.getElementById("divers_menu")){
		var selected=document.getElementById("divers_menu").value;
		if(selected!=''){
			window.location=selected + '.php';
		}
	}
}