// JavaScript Document

function changeLang(newLang) {
	newLang = '/' + newLang + '/';
	theUrl = new String(location.href);
	theUrl = theUrl.replace(/\/eng\//gi, newLang);
//	theUrl = theUrl.replace(/\/tchi\//gi, newLang);
	theUrl = theUrl.replace(/\/schi\//gi, newLang);
	location.href = theUrl;
}

function setNav(nav){
	navNum = nav;
	alert(navNum);
}