
<!--
function change_language()
{
	var selIndex = document.getElementById("languagesList").selectedIndex;
	var language = document.getElementById("languagesList").options[selIndex].value;	
	var page_name = document.getElementById("page_name").value + "_" + language + ".htm";
	window.location = page_name;
	
}
//-->