var optLaender653 = ["France;30000,30005,30008,30012,30014",
// "Allemagne;89,79,256,27",
 "Autriche;30077", "Suisse;30079", "Andorre;30081"]; optLaender653.sort();