<!--
var zoneCHGMT = null;
var zoneN = "lang" ;


function onChangeMe()
{
	if(document.getElementById(zoneN)) zoneCHGMT = document.getElementById(zoneN);
	else if(document.getElementsByName(zoneN)) zoneCHGMT = document.getElementsByName(zoneN);
	
	if(zoneCHGMT.value == "0") return true;
	else
	{
		var page="index.php";
		if(zoneCHGMT.value == "cht") page = "index-ct.php";
		if(zoneCHGMT.value == "chs") page = "index-cs.php";
		if(zoneCHGMT.value == "fra") page = "index.php";
		//ici faire un refresh de la page en changeant son nom.
		window.location.replace(page);
		
	}
	return true;
}

-->