// JavaScript Document
function jumpMenu(selector){
		var index = selector.options.selectedIndex;
		var url = selector.options[index].id;
		//we consider the id of each option have the url
		document.location.href = url;
}