// JavaScript Document
function langChange(page) {
	var lbox = document.getElementById("lang");
	var lang = lbox.options[lbox.selectedIndex].value;
	window.location = page + '-' + lang + '.html';
}