var marten = new Array();  marten[5444] = "207"; marten[5038] = "158"; marten[4329] = "143"; marten[5434] = "24"; marten[5536] = "159"; marten[5135] = "272"; marten[5335] = "57"; marten[5248] = "139"; marten[5435] = "20"; marten[4634] = "210"; marten[5337] = "163"; marten[5235] = "49"; marten[5330] = "194"; marten[4728] = "231"; marten[5233] = "225"; marten[5234] = "106"; marten[4628] = "138"; marten[5028] = "217"; marten[5535] = "49"; marten[5238] = "103"; marten[4832] = "146"; marten[4528] = "74"; marten[5035] = "274"; marten[4928] = "224"; marten[5528] = "17"; marten[4927] = "166"; marten[4430] = "225"; marten[5027] = "64"; marten[4931] = "141"; marten[5138] = "137"; marten[5129] = "180"; marten[5231] = "234"; marten[5128] = "116"; marten[4940] = "135"; marten[5032] = "284"; marten[4729] = "175"; marten[5323] = "1"; marten[5326] = "86"; marten[5227] = "96"; marten[4726] = "203"; marten[4734] = "157"; marten[4733] = "138"; marten[4935] = "55"; marten[5433] = "68"; marten[4932] = "185"; marten[5329] = "32"; marten[4532] = "205"; marten[4530] = "48"; marten[5132] = "89"; marten[5339] = "105"; marten[4827] = "227"; marten[5328] = "26"; marten[5538] = "180"; marten[4933] = "161"; marten[4934] = "123"; marten[5033] = "248"; marten[5043] = "129"; marten[5034] = "59"; marten[4527] = "63"; marten[5030] = "154"; marten[4828] = "213"; marten[4929] = "210"; marten[5333] = "275"; marten[5327] = "97"; marten[5131] = "266"; marten[5130] = "132"; marten[5029] = "96"; marten[5436] = "113"; marten[4429] = "129"; marten[5529] = "2"; marten[5127] = "188"; marten[5430] = "32"; marten[4725] = "32"; marten[4727] = "196"; marten[4629] = "175"; marten[4833] = "55"; marten[5429] = "37"; marten[5126] = "50"; marten[4531] = "231"; marten[5229] = "141"; marten[5428] = "170"; marten[5036] = "230"; marten[4632] = "257"; marten[4626] = "176"; marten[5228] = "160"; marten[5136] = "180"; marten[5237] = "142"; marten[5338] = "64"; marten[5232] = "124"; marten[4229] = "125"; marten[5635] = "14"; marten[4330] = "191"; marten[5332] = "195"; marten[5037] = "143"; marten[4936] = "135"; marten[5133] = "145"; marten[5225] = "214"; marten[5331] = "198"; marten[5630] = "14"; marten[4630] = "203"; marten[4631] = "250"; marten[4431] = "200"; marten[5533] = "2"; marten[5633] = "15"; marten[4442] = "217"; marten[4342] = "177"; marten[4541] = "145"; marten[5443] = "110"; marten[4949] = "150"; marten[4948] = "185"; marten[4849] = "51"; marten[4543] = "52"; marten[4542] = "17"; marten[4443] = "78"; marten[4441] = "93"; marten[4343] = "2"; marten[4829] = "67"; marten[4831] = "96"; marten[5432] = "123"; marten[5134] = "156"; marten[4926] = "30"; marten[5031] = "153"; marten[4730] = "79"; marten[5530] = "111"; marten[5629] = "158"; marten[5532] = "35"; marten[5632] = "2"; marten[4732] = "97"; marten[5531] = "50"; marten[5334] = "106"; marten[5230] = "155"; marten[5143] = "212"; marten[5243] = "125"; marten[4943] = "138"; marten[4942] = "136"; marten[5141] = "82"; marten[4840] = "89"; marten[5445] = "66"; marten[4552] = "153"; marten[4841] = "31"; marten[5440] = "73"; marten[4540] = "101"; marten[4639] = "212"; marten[5241] = "91"; marten[4842] = "131"; marten[5637] = "50"; marten[5640] = "16"; marten[5638] = "161"; marten[5343] = "174"; marten[4341] = "126"; marten[5149] = "111"; marten[5046] = "128"; marten[4640] = "185"; marten[4847] = "185"; marten[4553] = "153"; marten[5342] = "180"; marten[4648] = "37"; marten[5049] = "117"; marten[4539] = "69"; marten[5543] = "107"; marten[4952] = "35"; marten[4951] = "126"; marten[4454] = "9"; marten[4641] = "154"; marten[5042] = "149"; marten[4453] = "70"; marten[4755] = "62"; marten[4846] = "90"; marten[4653] = "172"; marten[4742] = "57"; marten[4645] = "115"; marten[4740] = "153"; marten[4554] = "126"; marten[4741] = "148"; marten[4754] = "12"; marten[5144] = "94"; marten[4752] = "64"; marten[5441] = "169"; marten[4855] = "145"; marten[5045] = "105"; marten[4650] = "7"; marten[4739] = "21"; marten[5344] = "41"; marten[5044] = "157"; marten[4550] = "22"; marten[4551] = "166"; marten[5345] = "43"; marten[4851] = "167"; marten[5249] = "92"; marten[5154] = "107"; marten[5438] = "163"; marten[5537] = "13"; marten[4848] = "158"; marten[5639] = "88"; marten[5740] = "12"; marten[5739] = "127"; marten[4654] = "154"; marten[5542] = "100"; marten[5540] = "53"; marten[5539] = "5"; marten[5341] = "171"; marten[4953] = "63"; marten[4555] = "144"; marten[4655] = "101"; marten[5541] = "18"; marten[5146] = "106"; marten[4955] = "43"; marten[5442] = "199"; marten[4747] = "122"; marten[4749] = "69"; marten[4452] = "8"; marten[4753] = "195"; marten[4845] = "88"; marten[5145] = "106"; marten[5247] = "49"; marten[4941] = "45"; marten[4945] = "162"; marten[5242] = "66"; marten[4946] = "82"; marten[4544] = "41"; marten[5244] = "51"; marten[6337] = "1"; marten[5340] = "69"; marten[5439] = "23"; marten[5240] = "167"; marten[4652] = "190"; marten[5047] = "91"; marten[4444] = "102"; marten[4852] = "125"; marten[4451] = "10"; marten[4853] = "133"; marten[4642] = "62"; marten[4651] = "68"; marten[4440] = "63"; marten[4750] = "22"; marten[5148] = "24"; marten[5140] = "18"; marten[4746] = "68"; marten[5153] = "59"; marten[4947] = "132"; marten[5054] = "86"; marten[4751] = "9"; marten[4647] = "77"; marten[4854] = "33"; marten[4954] = "97"; marten[5055] = "3"; marten[4944] = "54"; marten[4646] = "176"; marten[5050] = "112"; marten[4843] = "35"; marten[5239] = "53"; marten[5142] = "103"; marten[4839] = "151"; marten[4748] = "31"; marten[4744] = "1"; marten[4743] = "1"; marten[4844] = "10"; marten[4538] = "85"; marten[4649] = "103"; marten[5346] = "49"; marten[4756] = "3"; marten[5051] = "128"; marten[4546] = "107"; marten[5150] = "15"; marten[5053] = "17"; marten[4950] = "6"; marten[5147] = "21"; marten[4545] = "33"; marten[5048] = "6"; marten[4450] = "2"; marten[5245] = "2"; marten[5246] = "85"; marten[5347] = "2"; marten[5437] = "6"; marten[5544] = "7"; marten[4643] = "5"; marten[5052] = "73"; marten[5151] = "6"; marten[4745] = "22"; marten[4938] = "185"; marten[4737] = "149"; marten[4042] = "156"; marten[4534] = "110"; marten[4230] = "178"; marten[3938] = "16"; marten[3837] = "11"; marten[4432] = "123"; marten[4030] = "126"; marten[3635] = "137"; marten[4038] = "40"; marten[3035] = "66"; marten[4132] = "198"; marten[3136] = "93"; marten[3634] = "92"; marten[3732] = "97"; marten[4231] = "236"; marten[4133] = "69"; marten[4338] = "154"; marten[3934] = "61"; marten[4536] = "137"; marten[4335] = "117"; marten[4533] = "66"; marten[4240] = "213"; marten[4535] = "148"; marten[4838] = "35"; marten[3633] = "107"; marten[4041] = "175"; marten[3536] = "77"; marten[3236] = "19"; marten[3335] = "7"; marten[4436] = "111"; marten[4638] = "79"; marten[4337] = "24"; marten[4437] = "222"; marten[4142] = "115"; marten[4738] = "115"; marten[3636] = "180"; marten[4232] = "249"; marten[3735] = "138"; marten[3535] = "115"; marten[4438] = "96"; marten[4136] = "97"; marten[4233] = "133"; marten[4039] = "161"; marten[4139] = "214"; marten[3733] = "124"; marten[3334] = "102"; marten[3232] = "50"; marten[3231] = "25"; marten[3534] = "89"; marten[4144] = "33"; marten[3338] = "127"; marten[3339] = "123"; marten[3632] = "39"; marten[3336] = "64"; marten[4241] = "135"; marten[3434] = "123"; marten[4032] = "112"; marten[4339] = "166"; marten[4043] = "21"; marten[4334] = "136"; marten[4333] = "204"; marten[3734] = "51"; marten[4239] = "218"; marten[4837] = "230"; marten[4736] = "218"; marten[3234] = "100"; marten[4040] = "128"; marten[4340] = "174"; marten[4238] = "127"; marten[3940] = "10"; marten[4130] = "203"; marten[4835] = "55"; marten[3939] = "40"; marten[3936] = "199"; marten[3436] = "30"; marten[3738] = "8"; marten[3435] = "112"; marten[3537] = "138"; marten[4331] = "164"; marten[4033] = "21"; marten[4036] = "20"; marten[3135] = "5"; marten[3835] = "148"; marten[3433] = "108"; marten[3937] = "114"; marten[3834] = "40"; marten[4237] = "34"; marten[4031] = "205"; marten[4332] = "161"; marten[3935] = "76"; marten[3736] = "181"; marten[3235] = "44"; marten[4433] = "194"; marten[3836] = "203"; marten[3737] = "77"; marten[4037] = "71"; marten[4141] = "196"; marten[4137] = "53"; marten[4138] = "172"; marten[4140] = "182"; marten[3533] = "66"; marten[3532] = "85"; marten[3531] = "60"; marten[4434] = "160"; marten[4035] = "20"; marten[4135] = "95"; marten[3036] = "80"; marten[4134] = "109"; marten[4034] = "2"; marten[3333] = "98"; marten[3337] = "200"; marten[3431] = "11"; marten[4735] = "133"; marten[4637] = "96"; marten[4131] = "180"; marten[3931] = "69"; marten[4029] = "103"; marten[3930] = "62"; marten[3929] = "85"; marten[4242] = "149"; marten[4243] = "141"; marten[4143] = "95"; marten[3138] = "151"; marten[3833] = "13"; marten[3133] = "81"; marten[4129] = "142"; marten[3332] = "86"; marten[4234] = "160"; marten[4235] = "6"; marten[3932] = "5"; marten[4236] = "120"; marten[4336] = "128"; marten[3437] = "151"; marten[4636] = "46"; marten[3838] = "102"; marten[3639] = "83"; marten[3638] = "163"; marten[3134] = "49"; marten[4937] = "107"; marten[3438] = "59"; marten[3331] = "1"; marten[3538] = "196"; marten[3739] = "54"; marten[2935] = "52"; marten[3139] = "33"; marten[4836] = "258"; marten[3233] = "29"; marten[3839] = "11"; marten[3238] = "100"; marten[4537] = "220"; marten[3239] = "26"; marten[3132] = "45"; marten[4244] = "41"; marten[4939] = "66"; marten[4635] = "200"; marten[3137] = "117"; marten[3933] = "83"; marten[3832] = "48"; marten[3637] = "28"; marten[4439] = "109"; marten[5139] = "172"; marten[5628] = "18"; marten[4625] = "162"; marten[4526] = "3"; marten[4834] = "126"; marten[5336] = "77"; marten[5039] = "1"; marten[5236] = "12"; marten[5226] = "30"; marten[4529] = "167"; marten[4830] = "71"; marten[5137] = "61"; marten[5431] = "45"; marten[4627] = "148"; marten[5041] = "38"; marten[5534] = "11"; marten[5730] = "53"; marten[4633] = "134"; marten[4428] = "78"; marten[4826] = "21"; marten[4930] = "88"; marten[4731] = "2"; marten[5631] = "20"; marten[5426] = "1"; marten[5040] = "151"; marten[5636] = "58"; marten[5427] = "8"; marten[4435] = "214"; marten[3237] = "163"; marten[4850] = "12"; marten[4644] = "3"; marten[8122] = "1"; marten[3539] = "67"; marten[5839] = "6"; marten[4656] = "1";