function jump() 
{

	var index = document.dropdown.language.selectedIndex;
	var path = location.pathname;
	var url = "";

	if (path.search(/en/) == -1)
		url = path.replace("/zh/","/en/");
	else
		url = path.replace("/en/","/zh/");
				
	window.location.href=(url);
}


function openWindow(theURL,winName,features) { 
  window.open(theURL,winName,features);
}