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