data=[1888,1889,1890,1891,1892,1893,1894,1895,1896,1897,1898,1899,1536,1537,1538,1539,1540,1541,1542,1543,1544,1545,1546,1547,1548,1549,1550,1551,1552,1553,1554,1555,1556,1557,1558,1559,1560,1561,1562,1563,1564,1565,1566,1567,1568,1569,1570,1571,1572,1573,1574,1575,1576,1577,1578,1579,1580,1581,1582,1583,1584,1585,1586,1587,1588,1589,1590,1591,1592,1593,1594,1595,1596,1597,7958,1599,1600,1601,1602,1603,1604,1605,1606,7967,1608,1609,1610,1611,1612,1613,1614,1615,1616,1617,1618,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,1629,1630,1631,1632,1633,1634,1635,1636,1637,1638,1639,1640,1641,1642,1643,1644,1645,1646,1647,1648,1649,1650,1651,1652,1653,1654,1655,1656,1657,1658,1659,1660,1661,1662,1663,1664,1665,1666,1667,1668,1669,1670,1671,1672,1673,1674,1675,1676,1677,1678,1679,1680,1681,1682,1683,1684,1685,1686,1687,1688,1689,1690,1691,1692,1693,1694,1695,1696,1697,1698,1699,1700,1701,1702,1703,1704,1705,1706,1707,1708,1709,1710,1711,1712,1713,1714,1715,1716,1717,1718,1719,1720,1721,1722,1723,1724,1725,1726,1727,1728,1729,1730,1731,1732,1733,1734,1735,1736,1737,1738,1739,1740,1741,1742,1743,1744,1745,1746,1747,1748,1749,1750,1751,1752,1753,1754,1755,1756,1757,1758,1759,1760,1761,1762,1763,1764,1765,1766,1767,1768,1861,1862,1863,1864,1865,1866,1867,1868,1869,1870,1871,1872,1873,1874,1875,1876,1877,1878,1879,1880,1881,1882,1883,1884,1885,1886,1887,8156,1769,1770,1771,1772,1773,1774,1775,1776,1777,1778,1779,1780,1781,1782,1783,1784,1785,1786,1787,1788,1789,1790,1791,1792,1793,1794,1795,1796,8185,1798,1799,1800,1801,5799,1803,1804,1805,1806,1807,1808,1809,1810,1811,1812,5810,1814,1815,1816,5814,1818,1819,1820,1821,1822,1823,1824,1825,1826,8215,1828,1829,1830,1831,1832,1833,1834,1835,1836,1837,1838,1839,1840,1841,1842,8231,1844,1845,1846,1847,1848,1849,1850,1851,1852,8241,8242,1855,1856,1857,1858,1859,1860,1900,1901,1902,1903,1904,1905,1906,1907,1908,1909,1910,1911,1912,1913,1914,1915,1916,1917,1918,1919,1920,1921,1922,1923,1924,1925,1926,1927,1928,1929,1930,1931,1932,1933,1934,1935,1936,1937,1938,1939,1940,1941,1942,1943,1944,1945,1946,1947,1948,1949,1950,1951,1952,1953,1954,1955,1956,1957,1958,1959,1960,1961,1962,1963,1964,1965,1966,1967,1968,1969,1970,1971,1972,1973,1974,1975,1976,1977,1978,1979,1980,1981,1982,8532,1984,1985,1986,1987,1988,1989,1990,1991,1992,1993,8543,1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,8557,2009,2010,2011,2012,2013,2014,2015,2016,2017,2018,2019,2020,2021,2022,2023,2024,2025,2026,2027,2028,2029,2030,2031,2032,2033,2034,2035,2036,2037,2038,2039,2040,2041,2042,2043,2044,2045,8595,2047,2048,2049,2050,2051,2052,2053,2054,2055,2056,2057,2058,2059,2060,2061,2062,2063,2064,2065,2066,2067,2068,2069,2070,2071,2072,2073,2074,2075,2076,2077,2078,2079,2080,2081,2082,2083,2084,2085,2086,2087,2088,2089,2090,2091,2092,2093,2094,2095,8645,2097,2098,2170,2171,2172,2173,2174,2175,2176,2177,2178,2179,2180,2181,2182,2183,2184,2185,2186,2187,2188,2189,2190,2191,2192,2193,2194,2195,2196,2197,2198,2199,2200,2201,2202,2203,2204,2205,2206,2207,2208,2209,2210,2211,2212,2099,2100,2101,2102,2103,2104,2105,2106,2107,2108,2109,2110,2111,2112,2113,2114,2115,2116,2117,2118,2119,2120,2121,2122,2123,2124,2125,2126,2127,2128,2129,6317,2131,2132,2133,2134,2135,2136,2137,2138,2139,2140,2141,2142,2143,2144,2145,2146,2147,8740,8741,2150,2151,2152,2153,2154,2155,2156,2157,2158,2159,2160,2161,2162,2163,2164,2165,2166,2167,2168,2243,2244,2213,2214,2215,2216,2217,2218,2219,2220,2221,2222,2223,2224,2225,2226,2227,2228,2229,2230,2231,2232,2233,2234,2235,2236,2237,2238,2239,2240,2241,2242,2245,2246,2247,2248,2249,2250,2251,2252,2253,2254,2255,2256,2257,2258,2259,2260,2261,2262,2263,2264,2265,2266,2267,2268,2269,2270,2271,2272,2273,2274,2275,2276,2277,2278,2279,2280,2281,2282,2283,2284,2285,2286,2287,2288,2289,2290,2291,2292,2293,2294,2295,2296,2297,2298,2299,2300,2301,2302,2303,2304,2305,2306,2307,2308,2309,2310,2311,2312,2313,2314,2315,2316,2317,2318,2319,2320,2321,2322,6491,2324,2325,2326,2327,2328,2329,2330,2331,2332,2333,2334,2335,2336,2337,2338,2339,2340,2341,2342,2343,2344,2345,2346,2347,2348,2349,2350,2351,2352,2353,2354,2355,2356,2357,2358,2359,2360,2361,2362,2363,2364,2365,2366,2367,2368,2369,2370,2371,2372,2373,2374,2375,2376,2377,2378,2379,2380,2381,2382,2383,2384,2385,2386,2387,2388,2389,2390,8964,2392,2393,2394,2395,2396,2397,2398,2399,2400,2401,2402,2403,2404,2405,2406,2407,2408,2409,2410,2411,2412,2413,2414,2415,2416,2417,2418,2419,2420,2421,2422,2423,2424,2425,2426,2427,2428,2429,2430,2431,2432,2433,2434,2435,2436,2437,2438,2439,2440,2441,2442,2443,2444,2445,2446,2447,2448,2449,2450,2451,2452,2453,2454,2455,2456,2457,2458,2459,2460,2461,2462,2463,2464,2465,2466,2467,2468,2469,2470,2471,2472,2473,2474,2475,2476,2477,2478,2479,2480,2481,2482,2483,2484,2485,2486,2487,2488,2489,2490,2491,2492,2493,9164,2495,2496,2497,2498,2499,2500,2501,2502,2503,2504,2505,2506,2507,2508,5858,5859,5860,5009,5015,5863,5864,5865,5866,4954,5868,5869,5870,4945,5872,5873,5874,5875,4961,8268,4938,4970,5880,5881,5882,4980,5017,5004,4941,5887,5888,4983,4976,4968,4974,5893,5894,4996,4952,5897,4971,5899,5900,4933,5902,4950,5904,5007,4937,4988,5908,5909,6356,4998,5008,5016,4958,4962,4935,6573,4989,4936,6576,5141,6578,6579,4964,6581,6582,4931,6584,4979,4997,6587,5001,4959,6590,5011,4972,6593,4922,4973,6596,6597,4923,5010,6600,4930,6602,5142,6604,4978,4963,6607,4967,6609,6610,5138,5139,8301,5144,5145,5150,5151,5158,5159,5160,5161,5162,5163,5164,5165,5166,5167,5168,5169,5170,5171,5172,5173,5174,5175,5176,5177,5178,5179,5180,5181,5182,5184,5185,5186,5187,5188,8336,5190,5191,5198,5207,5208,5209,5210,5211,5212,5213,5214,5215,5218,5219,5960,8352,5222,5223,5224,8356,5226,5227,5228,5229,5235,5242,5243,5244,5245,8366,5247,5248,5249,5250,5251,5252,5253,5254,5266,5269,5270,5271,5272,5273,5274,5277,5992,5279,5280,5281,5282,5283,5284,5285,5286,8392,5288,5289,5290,5291,5292,5293,5294,5295,5296,8402,5298,5146,5147,5148,5149,5152,5153,5154,5155,5156,5157,5183,5192,5193,9029,5195,5196,5197,5199,5200,5201,5202,5203,5204,5205,5206,5216,5217,5230,5231,5232,5233,5234,5236,5237,5238,5239,5240,5241,5255,6650,5257,5258,5259,5260,5261,5262,5263,5264,5265,5267,5268,5275,5276,4987,6013,6014,6015,6016,6017,6018,6019,6020,6021,6022,8414,6024,6025,6026,6027,6028,6029,6030,6031,6032,6033,6034,6035,6036,6037,6038,6039,6040,6041,6042,6043,8763,8764,8765,8766,8767,6363,6364,6365,6366,6367,6368,6369,6370,6371,6372,6373,8779,6375,6376,6377,6378,6379,6380,6776,9182,6778,6779,6780,6781,6782,6783,6784,6785,6786,6787,6788,6789,6790,6791,6792,6793,6794,6795,6796,6797,6798,6799,6800,6801,6802,6803,8435,8436,8437,8438,8439,8440,8441,8442,8443,8444,8445,8446,8447,8448];