function go_others()
{
	var launchurl=document.getElementById('ntuclaunchpaddropdown').value;
	window.open(launchurl,"");
}
function jump(elementX)
{
	self.location=elementX.value;
}