// JavaScript Document
<!--
	//
	function setLanguage(lang_x){ 
		var act_location = location.href;
		if(act_location.indexOf("?") != -1){ 
			if(String(act_location).indexOf("lang") != -1){ 
				act_location = String(act_location).replace("lang="+language, "lang="+lang_x); 
			}
			else{ 
				act_location += "&lang="+lang_x;
			}
		}else{ 
			act_location += "?lang="+lang_x;
		}
		location.href = act_location;
	}
-->