chars =     (["2466694","1769795","2208179","2213078","2588187","2204849","2204829",
"2203114","2575302","1631915","1433199","2273494","2288710","2135937","1273553","1220986",
"2605157",
"2230548",
"2201558",
"2298687",
"2193745",
"2262692",
"2200710",
"2611859",
"2254988",
"2256978",
"2208179",
"2254988",
"1034587",
"2290308",
"2259188",
"2313532",
"2605157",
"1716995",
"1946930",
"2348581",
"2510748",
"2236494",
"2311806",
"2254478",
"2281616",
"1585569",
"1719101",
"2350235",
"2369153",
"2316829",
"1769882",
"2302096",
"2602476",
"2268380",
"2493899",
"2311806",
"2203114",
"2611859"])