function JumpToUrl()
{
	var x=document.getElementById("navigator").selectedIndex;
	if (document.getElementById("navigator").options[x].value != "#")
		window.location.href = document.getElementById("navigator").options[x].value;
}