function jump_url()
{
	selNo = document.select.menu.selectedIndex;
	url = document.select.menu.options[selNo].value;
	window.parent.location = url;
}