<!--
	function changelang() {
		var targethref;
		var d = document.location.href;
		if (d.lastIndexOf("ch_") != -1) {
			targethref = d.replace("ch_","en_");
		} else if (d.lastIndexOf("en_") != -1) {
			targethref = d.replace("en_","ch_");
		}
		top.document.location = targethref;
	}
//-->