// JavaScript Document
function MM_jumpMenu(){
	ddBox = document.getElementById('jumpMenu');
	txt = ddBox[ddBox.selectedIndex].text;
	myNo=ddBox[ddBox.selectedIndex].index;
	if(myNo>0){
		url=txt+".html";
		window.open(url,"_self","")
	}
}