<!--

function goto(destination) { 
	window.location=destination[destination.selectedIndex].value;
}

// -->