var optLaender655=["France;10000,10002,10003,10004,10005,10007,10008,10010,10014,10018","Espagne;10031,10039","Italie;10044,10045,10046","Etats-Unis;10189"];optLaender655.sort();