var optLaender655 = [
"France;10000,10005,10007,10008,10014"
//"Allemagne;10072","Autriche;10077","Suisse;10079"
];optLaender655.sort();