// JavaScript Document
function select_language(lan) {
	document.location.href = "index.php?lan=" + lan;
}