function doJumpTo() {
	var ele=document.getElementById("jumpto");
	if (ele) {
		var page=ele.options[ele.selectedIndex].value;
		if (page.length>0) {
			window.location=page;
			}
		}
	}
//---------------------------------------------------------------------------------------------
function show(id) {
	var ele=document.getElementById(id);
	if (ele) {
		ele.style.display=(ele.tagName.toLowerCase()=="span") ? "inline" : "block";
		}
	}