#include <stdio.h>

int main()
{
    int n;
    freopen("fractii.in","r",stdin);
    freopen("fractii.out","w",stdout);
    switch(n)
    {
    case 1:
        printf("1");
        break;
    case 2:
        printf("3");
        break;
    case 3:
        printf("7");
        break;
    case 4:
        printf("11");
        break;
    case 5:
        printf("19");
        break;
    case 6:
        printf("23");
        break;
    case 7:
        printf("35");
        break;
    case 8:
        printf("43");
        break;
    case 9:
        printf("55");
        break;
    case 10:
        printf("63");
        break;
    case 11:
        printf("83");
        break;
    case 12:
        printf("91");
        break;
    case 13:
        printf("115");
        break;
    case 14:
        printf("127");
        break;
    case 15:
        printf("143");
        break;
    case 16:
        printf("159");
        break;
    case 17:
        printf("191");
        break;
    case 18:
        printf("203");
        break;
    case 19:
        printf("239");
        break;
    case 20:
        printf("255");
        break;
    case 21:
        printf("279");
        break;
    case 22:
        printf("299");
        break;
    case 23:
        printf("343");
        break;
    case 24:
        printf("359");
        break;
    case 25:
        printf("399");
        break;
    case 26:
        printf("423");
        break;
    case 27:
        printf("459");
        break;
    case 28:
        printf("483");
        break;
    case 29:
        printf("539");
        break;
    case 30:
        printf("555");
        break;
    case 31:
        printf("615");
        break;
    case 32:
        printf("647");
        break;
    case 33:
        printf("687");
        break;
    case 34:
        printf("719");
        break;
    case 35:
        printf("767");
        break;
    case 36:
        printf("791");
        break;
    case 37:
        printf("863");
        break;
    case 38:
        printf("899");
        break;
    case 39:
        printf("947");
        break;
    case 40:
        printf("979");
        break;
    case 41:
        printf("1059");
        break;
    case 42:
        printf("1083");
        break;
    case 43:
        printf("1167");
        break;
    case 44:
        printf("1207");
        break;
    case 45:
        printf("1255");
        break;
    case 46:
        printf("1299");
        break;
    case 47:
        printf("1391");
        break;
    case 48:
        printf("1423");
        break;
    case 49:
        printf("1507");
        break;
    case 50:
        printf("1547");
        break;
    case 51:
        printf("1611");
        break;
    case 52:
        printf("1659");
        break;
    case 53:
        printf("1763");
        break;
    case 54:
        printf("1799");
        break;
    case 55:
        printf("1879");
        break;
    case 56:
        printf("1927");
        break;
    case 57:
        printf("1999");
        break;
    case 58:
        printf("2055");
        break;
    case 59:
        printf("2171");
        break;
    case 60:
        printf("2203");
        break;
    case 61:
        printf("2323");
        break;
    case 62:
        printf("2383");
        break;
    case 63:
        printf("2455");
        break;
    case 64:
        printf("2519");
        break;
    case 65:
        printf("2615");
        break;
    case 66:
        printf("2655");
        break;
    case 67:
        printf("2787");
        break;
    case 68:
        printf("2851");
        break;
    case 69:
        printf("2939");
        break;
    case 70:
        printf("2987");
        break;
    case 71:
        printf("3127");
        break;
    case 72:
        printf("3175");
        break;
    case 73:
        printf("3319");
        break;
    case 74:
        printf("3391");
        break;
    case 75:
        printf("3471");
        break;
    case 76:
        printf("3543");
        break;
    case 77:
        printf("3663");
        break;
    case 78:
        printf("3711");
        break;
    case 79:
        printf("3867");
        break;
    case 80:
        printf("3931");
        break;
    case 81:
        printf("4039");
        break;
    case 82:
        printf("4119");
        break;
    case 83:
        printf("4283");
        break;
    case 84:
        printf("4331");
        break;
    case 85:
        printf("4459");
        break;
    case 86:
        printf("4543");
        break;
    case 87:
        printf("4655");
        break;
    case 88:
        printf("4735");
        break;
    case 89:
        printf("4911");
        break;
    case 90:
        printf("4959");
        break;
    case 91:
        printf("5103");
        break;
    case 92:
        printf("5191");
        break;
    case 93:
        printf("5311");
        break;
    case 94:
        printf("5403");
        break;
    case 95:
        printf("5547");
        break;
    case 96:
        printf("5611");
        break;
    case 97:
        printf("5803");
        break;
    case 98:
        printf("5887");
        break;
    case 99:
        printf("6007");
        break;
    case 100:
        printf("6087");
        break;
    case 101:
        printf("6287");
        break;
    case 102:
        printf("6351");
        break;
    case 103:
        printf("6555");
        break;
    case 104:
        printf("6651");
        break;
    case 105:
        printf("6747");
        break;
    case 106:
        printf("6851");
        break;
    case 107:
        printf("7063");
        break;
    case 108:
        printf("7135");
        break;
    case 109:
        printf("7351");
        break;
    case 110:
        printf("7431");
        break;
    case 111:
        printf("7575");
        break;
    case 112:
        printf("7671");
        break;
    case 113:
        printf("7895");
        break;
    case 114:
        printf("7967");
        break;
    case 115:
        printf("8143");
        break;
    case 116:
        printf("8255");
        break;
    case 117:
        printf("8399");
        break;
    case 118:
        printf("8515");
        break;
    case 119:
        printf("8707");
        break;
    case 120:
        printf("8771");
        break;
    case 121:
        printf("8991");
        break;
    case 122:
        printf("9111");
        break;
    case 123:
        printf("9271");
        break;
    case 124:
        printf("9391");
        break;
    case 125:
        printf("9591");
        break;
    case 126:
        printf("9663");
        break;
    case 127:
        printf("9915");
        break;
    case 128:
        printf("10043");
        break;
    case 129:
        printf("10211");
        break;
    case 130:
        printf("10307");
        break;
    case 131:
        printf("10567");
        break;
    case 132:
        printf("10647");
        break;
    case 133:
        printf("10863");
        break;
    case 134:
        printf("10995");
        break;
    case 135:
        printf("11139");
        break;
    case 136:
        printf("11267");
        break;
    case 137:
        printf("11539");
        break;
    case 138:
        printf("11627");
        break;
    case 139:
        printf("11903");
        break;
    case 140:
        printf("11999");
        break;
    case 141:
        printf("12183");
        break;
    case 142:
        printf("12323");
        break;
    case 143:
        printf("12563");
        break;
    case 144:
        printf("12659");
        break;
    case 145:
        printf("12883");
        break;
    case 146:
        printf("13027");
        break;
    case 147:
        printf("13195");
        break;
    case 148:
        printf("13339");
        break;
    case 149:
        printf("13635");
        break;
    case 150:
        printf("13715");
        break;
    case 151:
        printf("14015");
        break;
    case 152:
        printf("14159");
        break;
    case 153:
        printf("14351");
        break;
    case 154:
        printf("14471");
        break;
    case 155:
        printf("14711");
        break;
    case 156:
        printf("14807");
        break;
    case 157:
        printf("15119");
        break;
    case 158:
        printf("15275");
        break;
    case 159:
        printf("15483");
        break;
    case 160:
        printf("15611");
        break;
    case 161:
        printf("15875");
        break;
    case 162:
        printf("15983");
        break;
    case 163:
        printf("16307");
        break;
    case 164:
        printf("16467");
        break;
    case 165:
        printf("16627");
        break;
    case 166:
        printf("16791");
        break;
    case 167:
        printf("17123");
        break;
    case 168:
        printf("17219");
        break;
    case 169:
        printf("17531");
        break;
    case 170:
        printf("17659");
        break;
    case 171:
        printf("17875");
        break;
    case 172:
        printf("18043");
        break;
    case 173:
        printf("18387");
        break;
    case 174:
        printf("18499");
        break;
    case 175:
        printf("18739");
        break;
    case 176:
        printf("18899");
        break;
    case 177:
        printf("19131");
        break;
    case 178:
        printf("19307");
        break;
    case 179:
        printf("19663");
        break;
    case 180:
        printf("19759");
        break;
    case 181:
        printf("20119");
        break;
    case 182:
        printf("20263");
        break;
    case 183:
        printf("20503");
        break;
    case 184:
        printf("20679");
        break;
    case 185:
        printf("20967");
        break;
    case 186:
        printf("21087");
        break;
    case 187:
        printf("21407");
        break;
    case 188:
        printf("21591");
        break;
    case 189:
        printf("21807");
        break;
    case 190:
        printf("21951");
        break;
    case 191:
        printf("22331");
        break;
    case 192:
        printf("22459");
        break;
    case 193:
        printf("22843");
        break;
    case 194:
        printf("23035");
        break;
    case 195:
        printf("23227");
        break;
    case 196:
        printf("23395");
        break;
    case 197:
        printf("23787");
        break;
    case 198:
        printf("23907");
        break;
    case 199:
        printf("24303");
        break;
    case 200:
        printf("24463");
        break;
    case 201:
        printf("24727");
        break;
    case 202:
        printf("24927");
        break;
    case 203:
        printf("25263");
        break;
    case 204:
        printf("25391");
        break;
    case 205:
        printf("25711");
        break;
    case 206:
        printf("25915");
        break;
    case 207:
        printf("26179");
        break;
    case 208:
        printf("26371");
        break;
    case 209:
        printf("26731");
        break;
    case 210:
        printf("26827");
        break;
    case 211:
        printf("27247");
        break;
    case 212:
        printf("27455");
        break;
    case 213:
        printf("27735");
        break;
    case 214:
        printf("27947");
        break;
    case 215:
        printf("28283");
        break;
    case 216:
        printf("28427");
        break;
    case 217:
        printf("28787");
        break;
    case 218:
        printf("29003");
        break;
    case 219:
        printf("29291");
        break;
    case 220:
        printf("29451");
        break;
    case 221:
        printf("29835");
        break;
    case 222:
        printf("29979");
        break;
    case 223:
        printf("30423");
        break;
    case 224:
        printf("30615");
        break;
    case 225:
        printf("30855");
        break;
    case 226:
        printf("31079");
        break;
    case 227:
        printf("31531");
        break;
    case 228:
        printf("31675");
        break;
    case 229:
        printf("32131");
        break;
    case 230:
        printf("32307");
        break;
    case 231:
        printf("32547");
        break;
    case 232:
        printf("32771");
        break;
    case 233:
        printf("33235");
        break;
    case 234:
        printf("33379");
        break;
    case 235:
        printf("33747");
        break;
    case 236:
        printf("33979");
        break;
    case 237:
        printf("34291");
        break;
    case 238:
        printf("34483");
        break;
    case 239:
        printf("34959");
        break;
    case 240:
        printf("35087");
        break;
    case 241:
        printf("35567");
        break;
    case 242:
        printf("35787");
        break;
    case 243:
        printf("36111");
        break;
    case 244:
        printf("36351");
        break;
    case 245:
        printf("36687");
        break;
    case 246:
        printf("36847");
        break;
    case 247:
        printf("37279");
        break;
    case 248:
        printf("37519");
        break;
    case 249:
        printf("37847");
        break;
    case 250:
        printf("38047");
        break;
    case 251:
        printf("38547");
        break;
    case 252:
        printf("38691");
        break;
    case 253:
        printf("39131");
        break;
    case 254:
        printf("39383");
        break;
    case 255:
        printf("39639");
        break;
    case 256:
        printf("39895");
        break;
    case 257:
        printf("40407");
        break;
    case 258:
        printf("40575");
        break;
    case 259:
        printf("41007");
        break;
    case 260:
        printf("41199");
        break;
    case 261:
        printf("41535");
        break;
    case 262:
        printf("41795");
        break;
    case 263:
        printf("42319");
        break;
    case 264:
        printf("42479");
        break;
    case 265:
        printf("42895");
        break;
    case 266:
        printf("43111");
        break;
    case 267:
        printf("43463");
        break;
    case 268:
        printf("43727");
        break;
    case 269:
        printf("44263");
        break;
    case 270:
        printf("44407");
        break;
    case 271:
        printf("44947");
        break;
    case 272:
        printf("45203");
        break;
    case 273:
        printf("45491");
        break;
    case 274:
        printf("45763");
        break;
    case 275:
        printf("46163");
        break;
    case 276:
        printf("46339");
        break;
    case 277:
        printf("46891");
        break;
    case 278:
        printf("47167");
        break;
    case 279:
        printf("47527");
        break;
    case 280:
        printf("47719");
        break;
    case 281:
        printf("48279");
        break;
    case 282:
        printf("48463");
        break;
    case 283:
        printf("49027");
        break;
    case 284:
        printf("49307");
        break;
    case 285:
        printf("49595");
        break;
    case 286:
        printf("49835");
        break;
    case 287:
        printf("50315");
        break;
    case 288:
        printf("50507");
        break;
    case 289:
        printf("51051");
        break;
    case 290:
        printf("51275");
        break;
    case 291:
        printf("51659");
        break;
    case 292:
        printf("51947");
        break;
    case 293:
        printf("52531");
        break;
    case 294:
        printf("52699");
        break;
    case 295:
        printf("53163");
        break;
    case 296:
        printf("53451");
        break;
    case 297:
        printf("53811");
        break;
    case 298:
        printf("54107");
        break;
    case 299:
        printf("54635");
        break;
    case 300:
        printf("54795");
        break;
    case 301:
        printf("55299");
        break;
    case 302:
        printf("55599");
        break;
    case 303:
        printf("55999");
        break;
    case 304:
        printf("56287");
        break;
    case 305:
        printf("56767");
        break;
    case 306:
        printf("56959");
        break;
    case 307:
        printf("57571");
        break;
    case 308:
        printf("57811");
        break;
    case 309:
        printf("58219");
        break;
    case 310:
        printf("58459");
        break;
    case 311:
        printf("59079");
        break;
    case 312:
        printf("59271");
        break;
    case 313:
        printf("59895");
        break;
    case 314:
        printf("60207");
        break;
    case 315:
        printf("60495");
        break;
    case 316:
        printf("60807");
        break;
    case 317:
        printf("61439");
        break;
    case 318:
        printf("61647");
        break;
    case 319:
        printf("62207");
        break;
    case 320:
        printf("62463");
        break;
    case 321:
        printf("62887");
        break;
    case 322:
        printf("63151");
        break;
    case 323:
        printf("63727");
        break;
    case 324:
        printf("63943");
        break;
    case 325:
        printf("64423");
        break;
    case 326:
        printf("64747");
        break;
    case 327:
        printf("65179");
        break;
    case 328:
        printf("65499");
        break;
    case 329:
        printf("66051");
        break;
    case 330:
        printf("66211");
        break;
    case 331:
        printf("66871");
        break;
    case 332:
        printf("67199");
        break;
    case 333:
        printf("67631");
        break;
    case 334:
        printf("67963");
        break;
    case 335:
        printf("68491");
        break;
    case 336:
        printf("68683");
        break;
    case 337:
        printf("69355");
        break;
    case 338:
        printf("69667");
        break;
    case 339:
        printf("70115");
        break;
    case 340:
        printf("70371");
        break;
    case 341:
        printf("70971");
        break;
    case 342:
        printf("71187");
        break;
    case 343:
        printf("71775");
        break;
    case 344:
        printf("72111");
        break;
    case 345:
        printf("72463");
        break;
    case 346:
        printf("72807");
        break;
    case 347:
        printf("73499");
        break;
    case 348:
        printf("73723");
        break;
    case 349:
        printf("74419");
        break;
    case 350:
        printf("74659");
        break;
    case 351:
        printf("75091");
        break;
    case 352:
        printf("75411");
        break;
    case 353:
        printf("76115");
        break;
    case 354:
        printf("76347");
        break;
    case 355:
        printf("76907");
        break;
    case 356:
        printf("77259");
        break;
    case 357:
        printf("77643");
        break;
    case 358:
        printf("77999");
        break;
    case 359:
        printf("78715");
        break;
    case 360:
        printf("78907");
        break;
    case 361:
        printf("79591");
        break;
    case 362:
        printf("79951");
        break;
    case 363:
        printf("80391");
        break;
    case 364:
        printf("80679");
        break;
    case 365:
        printf("81255");
        break;
    case 366:
        printf("81495");
        break;
    case 367:
        printf("82227");
        break;
    case 368:
        printf("82579");
        break;
    case 369:
        printf("83059");
        break;
    case 370:
        printf("83347");
        break;
    case 371:
        printf("83971");
        break;
    case 372:
        printf("84211");
        break;
    case 373:
        printf("84955");
        break;
    case 374:
        printf("85275");
        break;
    case 375:
        printf("85675");
        break;
    case 376:
        printf("86043");
        break;
    case 377:
        printf("86715");
        break;
    case 378:
        printf("86931");
        break;
    case 379:
        printf("87687");
        break;
    case 380:
        printf("87975");
        break;
    case 381:
        printf("88479");
        break;
    case 382:
        printf("88859");
        break;
    case 383:
        printf("89623");
        break;
    case 384:
        printf("89879");
        break;
    case 385:
        printf("90359");
        break;
    case 386:
        printf("90743");
        break;
    case 387:
        printf("91247");
        break;
    case 388:
        printf("91631");
        break;
    case 389:
        printf("92407");
        break;
    case 390:
        printf("92599");
        break;
    case 391:
        printf("93303");
        break;
    case 392:
        printf("93639");
        break;
    case 393:
        printf("94159");
        break;
    case 394:
        printf("94551");
        break;
    case 395:
        printf("95175");
        break;
    case 396:
        printf("95415");
        break;
    case 397:
        printf("96207");
        break;
    case 398:
        printf("96603");
        break;
    case 399:
        printf("97035");
        break;
    case 400:
        printf("97355");
        break;
    case 401:
        printf("98155");
        break;
    case 402:
        printf("98419");
        break;
    case 403:
        printf("99139");
        break;
    case 404:
        printf("99539");
        break;
    case 405:
        printf("99971");
        break;
    case 406:
        printf("100307");
        break;
    case 407:
        printf("101027");
        break;
    case 408:
        printf("101283");
        break;
    case 409:
        printf("102099");
        break;
    case 410:
        printf("102419");
        break;
    case 411:
        printf("102963");
        break;
    case 412:
        printf("103371");
        break;
    case 413:
        printf("104067");
        break;
    case 414:
        printf("104331");
        break;
    case 415:
        printf("104987");
        break;
    case 416:
        printf("105371");
        break;
    case 417:
        printf("105923");
        break;
    case 418:
        printf("106283");
        break;
    case 419:
        printf("107119");
        break;
    case 420:
        printf("107311");
        break;
    case 421:
        printf("108151");
        break;
    case 422:
        printf("108571");
        break;
    case 423:
        printf("109123");
        break;
    case 424:
        printf("109539");
        break;
    case 425:
        printf("110179");
        break;
    case 426:
        printf("110459");
        break;
    case 427:
        printf("111179");
        break;
    case 428:
        printf("111603");
        break;
    case 429:
        printf("112083");
        break;
    case 430:
        printf("112419");
        break;
    case 431:
        printf("113279");
        break;
    case 432:
        printf("113567");
        break;
    case 433:
        printf("114431");
        break;
    case 434:
        printf("114791");
        break;
    case 435:
        printf("115239");
        break;
    case 436:
        printf("115671");
        break;
    case 437:
        printf("116463");
        break;
    case 438:
        printf("116751");
        break;
    case 439:
        printf("117627");
        break;
    case 440:
        printf("117947");
        break;
    case 441:
        printf("118451");
        break;
    case 442:
        printf("118835");
        break;
    case 443:
        printf("119719");
        break;
    case 444:
        printf("120007");
        break;
    case 445:
        printf("120711");
        break;
    case 446:
        printf("121155");
        break;
    case 447:
        printf("121747");
        break;
    case 448:
        printf("122131");
        break;
    case 449:
        printf("123027");
        break;
    case 450:
        printf("123267");
        break;
    case 451:
        printf("124067");
        break;
    case 452:
        printf("124515");
        break;
    case 453:
        printf("125115");
        break;
    case 454:
        printf("125567");
        break;
    case 455:
        printf("126143");
        break;
    case 456:
        printf("126431");
        break;
    case 457:
        printf("127343");
        break;
    case 458:
        printf("127799");
        break;
    case 459:
        printf("128375");
        break;
    case 460:
        printf("128727");
        break;
    case 461:
        printf("129647");
        break;
    case 462:
        printf("129887");
        break;
    case 463:
        printf("130811");
        break;
    case 464:
        printf("131259");
        break;
    case 465:
        printf("131739");
        break;
    case 466:
        printf("132203");
        break;
    case 467:
        printf("133135");
        break;
    case 468:
        printf("133423");
        break;
    case 469:
        printf("134215");
        break;
    case 470:
        printf("134583");
        break;
    case 471:
        printf("135207");
        break;
    case 472:
        printf("135671");
        break;
    case 473:
        printf("136511");
        break;
    case 474:
        printf("136823");
        break;
    case 475:
        printf("137543");
        break;
    case 476:
        printf("137927");
        break;
    case 477:
        printf("138551");
        break;
    case 478:
        printf("139027");
        break;
    case 479:
        printf("139983");
        break;
    case 480:
        printf("140239");
        break;
    case 481:
        printf("141103");
        break;
    case 482:
        printf("141583");
        break;
    case 483:
        printf("142111");
        break;
    case 484:
        printf("142551");
        break;
    case 485:
        printf("143319");
        break;
    case 486:
        printf("143643");
        break;
    case 487:
        printf("144615");
        break;
    case 488:
        printf("145095");
        break;
    case 489:
        printf("145743");
        break;
    case 490:
        printf("146079");
        break;
    case 491:
        printf("147059");
        break;
    case 492:
        printf("147379");
        break;
    case 493:
        printf("148275");
        break;
    case 494:
        printf("148707");
        break;
    case 495:
        printf("149187");
        break;
    case 496:
        printf("149667");
        break;
    case 497:
        printf("150507");
        break;
    case 498:
        printf("150835");
        break;
    case 499:
        printf("151831");
        break;
    case 500:
        printf("152231");
        break;
    case 501:
        printf("152895");
        break;
    case 502:
        printf("153395");
        break;
    case 503:
        printf("154399");
        break;
    case 504:
        printf("154687");
        break;
    case 505:
        printf("155487");
        break;
    case 506:
        printf("155927");
        break;
    case 507:
        printf("156551");
        break;
    case 508:
        printf("157055");
        break;
    case 509:
        printf("158071");
        break;
    case 510:
        printf("158327");
        break;
    case 511:
        printf("159191");
        break;
    case 512:
        printf("159703");
        break;
    case 513:
        printf("160351");
        break;
    case 514:
        printf("160863");
        break;
    case 515:
        printf("161679");
        break;
    case 516:
        printf("162015");
        break;
    case 517:
        printf("162935");
        break;
    case 518:
        printf("163367");
        break;
    case 519:
        printf("164055");
        break;
    case 520:
        printf("164439");
        break;
    case 521:
        printf("165479");
        break;
    case 522:
        printf("165815");
        break;
    case 523:
        printf("166859");
        break;
    case 524:
        printf("167379");
        break;
    case 525:
        printf("167859");
        break;
    case 526:
        printf("168383");
        break;
    case 527:
        printf("169343");
        break;
    case 528:
        printf("169663");
        break;
    case 529:
        printf("170675");
        break;
    case 530:
        printf("171091");
        break;
    case 531:
        printf("171787");
        break;
    case 532:
        printf("172219");
        break;
    case 533:
        printf("173179");
        break;
    case 534:
        printf("173531");
        break;
    case 535:
        printf("174379");
        break;
    case 536:
        printf("174907");
        break;
    case 537:
        printf("175619");
        break;
    case 538:
        printf("176155");
        break;
    case 539:
        printf("176995");
        break;
    case 540:
        printf("177283");
        break;
    case 541:
        printf("178363");
        break;
    case 542:
        printf("178903");
        break;
    case 543:
        printf("179623");
        break;
    case 544:
        printf("180135");
        break;
    case 545:
        printf("180999");
        break;
    case 546:
        printf("181287");
        break;
    case 547:
        printf("182379");
        break;
    case 548:
        printf("182923");
        break;
    case 549:
        printf("183643");
        break;
    case 550:
        printf("184043");
        break;
    case 551:
        printf("185051");
        break;
    case 552:
        printf("185403");
        break;
    case 553:
        printf("186339");
        break;
    case 554:
        printf("186891");
        break;
    case 555:
        printf("187467");
        break;
    case 556:
        printf("188019");
        break;
    case 557:
        printf("189131");
        break;
    case 558:
        printf("189491");
        break;
    case 559:
        printf("190499");
        break;
    case 560:
        printf("190883");
        break;
    case 561:
        printf("191523");
        break;
    case 562:
        printf("192083");
        break;
    case 563:
        printf("193207");
        break;
    case 564:
        printf("193575");
        break;
    case 565:
        printf("194471");
        break;
    case 566:
        printf("195035");
        break;
    case 567:
        printf("195683");
        break;
    case 568:
        printf("196243");
        break;
    case 569:
        printf("197379");
        break;
    case 570:
        printf("197667");
        break;
    case 571:
        printf("198807");
        break;
    case 572:
        printf("199287");
        break;
    case 573:
        printf("200047");
        break;
    case 574:
        printf("200527");
        break;
    case 575:
        printf("201407");
        break;
    case 576:
        printf("201791");
        break;
    case 577:
        printf("202943");
        break;
    case 578:
        printf("203487");
        break;
    case 579:
        printf("204255");
        break;
    case 580:
        printf("204703");
        break;
    case 581:
        printf("205687");
        break;
    case 582:
        printf("206071");
        break;
    case 583:
        printf("207111");
        break;
    case 584:
        printf("207687");
        break;
    case 585:
        printf("208263");
        break;
    case 586:
        printf("208847");
        break;
    case 587:
        printf("210019");
        break;
    case 588:
        printf("210355");
        break;
    case 589:
        printf("211435");
        break;
    case 590:
        printf("211899");
        break;
    case 591:
        printf("212683");
        break;
    case 592:
        printf("213259");
        break;
    case 593:
        printf("214443");
        break;
    case 594:
        printf("214803");
        break;
    case 595:
        printf("215571");
        break;
    case 596:
        printf("216163");
        break;
    case 597:
        printf("216955");
        break;
    case 598:
        printf("217483");
        break;
    case 599:
        printf("218679");
        break;
    case 600:
        printf("218999");
        break;
    case 601:
        printf("220199");
        break;
    case 602:
        printf("220703");
        break;
    case 603:
        printf("221495");
        break;
    case 604:
        printf("222095");
        break;
    case 605:
        printf("222975");
        break;
    case 606:
        printf("223375");
        break;
    case 607:
        printf("224587");
        break;
    case 608:
        printf("225163");
        break;
    case 609:
        printf("225835");
        break;
    case 610:
        printf("226315");
        break;
    case 611:
        printf("227419");
        break;
    case 612:
        printf("227803");
        break;
    case 613:
        printf("229027");
        break;
    case 614:
        printf("229639");
        break;
    case 615:
        printf("230279");
        break;
    case 616:
        printf("230759");
        break;
    case 617:
        printf("231991");
        break;
    case 618:
        printf("232399");
        break;
    case 619:
        printf("233635");
        break;
    case 620:
        printf("234115");
        break;
    case 621:
        printf("234907");
        break;
    case 622:
        printf("235527");
        break;
    case 623:
        printf("236583");
        break;
    case 624:
        printf("236967");
        break;
    case 625:
        printf("237967");
        break;
    case 626:
        printf("238591");
        break;
    case 627:
        printf("239311");
        break;
    case 628:
        printf("239935");
        break;
    case 629:
        printf("241087");
        break;
    case 630:
        printf("241375");
        break;
    case 631:
        printf("242635");
        break;
    case 632:
        printf("243259");
        break;
    case 633:
        printf("244099");
        break;
    case 634:
        printf("244731");
        break;
    case 635:
        printf("245739");
        break;
    case 636:
        printf("246155");
        break;
    case 637:
        printf("247163");
        break;
    case 638:
        printf("247723");
        break;
    case 639:
        printf("248563");
        break;
    case 640:
        printf("249075");
        break;
    case 641:
        printf("250355");
        break;
    case 642:
        printf("250779");
        break;
    case 643:
        printf("252063");
        break;
    case 644:
        printf("252591");
        break;
    case 645:
        printf("253263");
        break;
    case 646:
        printf("253839");
        break;
    case 647:
        printf("255131");
        break;
    case 648:
        printf("255563");
        break;
    case 649:
        printf("256723");
        break;
    case 650:
        printf("257203");
        break;
    case 651:
        printf("257923");
        break;
    case 652:
        printf("258571");
        break;
    case 653:
        printf("259875");
        break;
    case 654:
        printf("260307");
        break;
    case 655:
        printf("261347");
        break;
    case 656:
        printf("261987");
        break;
    case 657:
        printf("262851");
        break;
    case 658:
        printf("263403");
        break;
    case 659:
        printf("264719");
        break;
    case 660:
        printf("265039");
        break;
    case 661:
        printf("266359");
        break;
    case 662:
        printf("267019");
        break;
    case 663:
        printf("267787");
        break;
    case 664:
        printf("268443");
        break;
    case 665:
        printf("269307");
        break;
    case 666:
        printf("269739");
        break;
    case 667:
        printf("270971");
        break;
    case 668:
        printf("271635");
        break;
    case 669:
        printf("272523");
        break;
    case 670:
        printf("273051");
        break;
    case 671:
        printf("274251");
        break;
    case 672:
        printf("274635");
        break;
    case 673:
        printf("275979");
        break;
    case 674:
        printf("276651");
        break;
    case 675:
        printf("277371");
        break;
    case 676:
        printf("277995");
        break;
    case 677:
        printf("279347");
        break;
    case 678:
        printf("279795");
        break;
    case 679:
        printf("280947");
        break;
    case 680:
        printf("281459");
        break;
    case 681:
        printf("282363");
        break;
    case 682:
        printf("282963");
        break;
    case 683:
        printf("284327");
        break;
    case 684:
        printf("284759");
        break;
    case 685:
        printf("285847");
        break;
    case 686:
        printf("286435");
        break;
    case 687:
        printf("287347");
        break;
    case 688:
        printf("288019");
        break;
    case 689:
        printf("289267");
        break;
    case 690:
        printf("289619");
        break;
    case 691:
        printf("290999");
        break;
    case 692:
        printf("291687");
        break;
    case 693:
        printf("292407");
        break;
    case 694:
        printf("293099");
        break;
    case 695:
        printf("294203");
        break;
    case 696:
        printf("294651");
        break;
    case 697:
        printf("295931");
        break;
    case 698:
        printf("296627");
        break;
    case 699:
        printf("297555");
        break;
    case 700:
        printf("298035");
        break;
    case 701:
        printf("299435");
        break;
    case 702:
        printf("299867");
        break;
    case 703:
        printf("301163");
        break;
    case 704:
        printf("301803");
        break;
    case 705:
        printf("302539");
        break;
    case 706:
        printf("303243");
        break;
    case 707:
        printf("304443");
        break;
    case 708:
        printf("304907");
        break;
    case 709:
        printf("306323");
        break;
    case 710:
        printf("306883");
        break;
    case 711:
        printf("307819");
        break;
    case 712:
        printf("308523");
        break;
    case 713:
        printf("309843");
        break;
    case 714:
        printf("310227");
        break;
    case 715:
        printf("311187");
        break;
    case 716:
        printf("311899");
        break;
    case 717:
        printf("312851");
        break;
    case 718:
        printf("313567");
        break;
    case 719:
        printf("315003");
        break;
    case 720:
        printf("315387");
        break;
    case 721:
        printf("316611");
        break;
    case 722:
        printf("317295");
        break;
    case 723:
        printf("318255");
        break;
    case 724:
        printf("318975");
        break;
    case 725:
        printf("320095");
        break;
    case 726:
        printf("320535");
        break;
    case 727:
        printf("321987");
        break;
    case 728:
        printf("322563");
        break;
    case 729:
        printf("323535");
        break;
    case 730:
        printf("324111");
        break;
    case 731:
        printf("325455");
        break;
    case 732:
        printf("325935");
        break;
    case 733:
        printf("327399");
        break;
    case 734:
        printf("328131");
        break;
    case 735:
        printf("328803");
        break;
    case 736:
        printf("329507");
        break;
    case 737:
        printf("330827");
        break;
    case 738:
        printf("331307");
        break;
    case 739:
        printf("332783");
        break;
    case 740:
        printf("333359");
        break;
    case 741:
        printf("334223");
        break;
    case 742:
        printf("334847");
        break;
    case 743:
        printf("336331");
        break;
    case 744:
        printf("336811");
        break;
    case 745:
        printf("337995");
        break;
    case 746:
        printf("338739");
        break;
    case 747:
        printf("339723");
        break;
    case 748:
        printf("340363");
        break;
    case 749:
        printf("341635");
        break;
    case 750:
        printf("342035");
        break;
    case 751:
        printf("343535");
        break;
    case 752:
        printf("344271");
        break;
    case 753:
        printf("345271");
        break;
    case 754:
        printf("345943");
        break;
    case 755:
        printf("347143");
        break;
    case 756:
        printf("347575");
        break;
    case 757:
        printf("349087");
        break;
    case 758:
        printf("349843");
        break;
    case 759:
        printf("350723");
        break;
    case 760:
        printf("351299");
        break;
    case 761:
        printf("352819");
        break;
    case 762:
        printf("353323");
        break;
    case 763:
        printf("354619");
        break;
    case 764:
        printf("355379");
        break;
    case 765:
        printf("356147");
        break;
    case 766:
        printf("356911");
        break;
    case 767:
        printf("358303");
        break;
    case 768:
        printf("358815");
        break;
    case 769:
        printf("360351");
        break;
    case 770:
        printf("360831");
        break;
    case 771:
        printf("361855");
        break;
    case 772:
        printf("362623");
        break;
    case 773:
        printf("364167");
        break;
    case 774:
        printf("364671");
        break;
    case 775:
        printf("365871");
        break;
    case 776:
        printf("366639");
        break;
    case 777:
        printf("367503");
        break;
    case 778:
        printf("368279");
        break;
    case 779:
        printf("369719");
        break;
    case 780:
        printf("370103");
        break;
    case 781:
        printf("371503");
        break;
    case 782:
        printf("372207");
        break;
    case 783:
        printf("373215");
        break;
    case 784:
        printf("373887");
        break;
    case 785:
        printf("375135");
        break;
    case 786:
        printf("375655");
        break;
    case 787:
        printf("377227");
        break;
    case 788:
        printf("378011");
        break;
    case 789:
        printf("379059");
        break;
    case 790:
        printf("379683");
        break;
    case 791:
        printf("381027");
        break;
    case 792:
        printf("381507");
        break;
    case 793:
        printf("382947");
        break;
    case 794:
        printf("383739");
        break;
    case 795:
        printf("384571");
        break;
    case 796:
        printf("385363");
        break;
    case 797:
        printf("386955");
        break;
    case 798:
        printf("387387");
        break;
    case 799:
        printf("388859");
        break;
    case 800:
        printf("389499");
        break;
    case 801:
        printf("390555");
        break;
    case 802:
        printf("391355");
        break;
    case 803:
        printf("392795");
        break;
    case 804:
        printf("393323");
        break;
    case 805:
        printf("394379");
        break;
    case 806:
        printf("395099");
        break;
    case 807:
        printf("396171");
        break;
    case 808:
        printf("396971");
        break;
    case 809:
        printf("398587");
        break;
    case 810:
        printf("399019");
        break;
    case 811:
        printf("400639");
        break;
    case 812:
        printf("401311");
        break;
    case 813:
        printf("402391");
        break;
    case 814:
        printf("403111");
        break;
    case 815:
        printf("404407");
        break;
    case 816:
        printf("404919");
        break;
    case 817:
        printf("406431");
        break;
    case 818:
        printf("407247");
        break;
    case 819:
        printf("408111");
        break;
    case 820:
        printf("408751");
        break;
    case 821:
        printf("410391");
        break;
    case 822:
        printf("410935");
        break;
    case 823:
        printf("412579");
        break;
    case 824:
        printf("413395");
        break;
    case 825:
        printf("414195");
        break;
    case 826:
        printf("414891");
        break;
    case 827:
        printf("416543");
        break;
    case 828:
        printf("417071");
        break;
    case 829:
        printf("418727");
        break;
    case 830:
        printf("419383");
        break;
    case 831:
        printf("420487");
        break;
    case 832:
        printf("421255");
        break;
    case 833:
        printf("422599");
        break;
    case 834:
        printf("423151");
        break;
    case 835:
        printf("424479");
        break;
    case 836:
        printf("425199");
        break;
    case 837:
        printf("426279");
        break;
    case 838:
        printf("427115");
        break;
    case 839:
        printf("428791");
        break;
    case 840:
        printf("429175");
        break;
    case 841:
        printf("430799");
        break;
    case 842:
        printf("431639");
        break;
    case 843:
        printf("432759");
        break;
    case 844:
        printf("433599");
        break;
    case 845:
        printf("434847");
        break;
    case 846:
        printf("435399");
        break;
    case 847:
        printf("436719");
        break;
    case 848:
        printf("437551");
        break;
    case 849:
        printf("438679");
        break;
    case 850:
        printf("439319");
        break;
    case 851:
        printf("440903");
        break;
    case 852:
        printf("441463");
        break;
    case 853:
        printf("443167");
        break;
    case 854:
        printf("443887");
        break;
    case 855:
        printf("444751");
        break;
    case 856:
        printf("445599");
        break;
    case 857:
        printf("447311");
        break;
    case 858:
        printf("447791");
        break;
    case 859:
        printf("449507");
        break;
    case 860:
        printf("450179");
        break;
    case 861:
        printf("451139");
        break;
    case 862:
        printf("451999");
        break;
    case 863:
        printf("453723");
        break;
    case 864:
        printf("454299");
        break;
    case 865:
        printf("455675");
        break;
    case 866:
        printf("456539");
        break;
    case 867:
        printf("457627");
        break;
    case 868:
        printf("458347");
        break;
    case 869:
        printf("459907");
        break;
    case 870:
        printf("460355");
        break;
    case 871:
        printf("461939");
        break;
    case 872:
        printf("462803");
        break;
    case 873:
        printf("463955");
        break;
    case 874:
        printf("464747");
        break;
    case 875:
        printf("465947");
        break;
    case 876:
        printf("466523");
        break;
    case 877:
        printf("468275");
        break;
    case 878:
        printf("469151");
        break;
    case 879:
        printf("470319");
        break;
    case 880:
        printf("470959");
        break;
    case 881:
        printf("472719");
        break;
    case 882:
        printf("473223");
        break;
    case 883:
        printf("474987");
        break;
    case 884:
        printf("475755");
        break;
    case 885:
        printf("476683");
        break;
    case 886:
        printf("477567");
        break;
    case 887:
        printf("479339");
        break;
    case 888:
        printf("479915");
        break;
    case 889:
        printf("481427");
        break;
    case 890:
        printf("482131");
        break;
    case 891:
        printf("483211");
        break;
    case 892:
        printf("484099");
        break;
    case 893:
        printf("485755");
        break;
    case 894:
        printf("486347");
        break;
    case 895:
        printf("487771");
        break;
    case 896:
        printf("488539");
        break;
    case 897:
        printf("489595");
        break;
    case 898:
        printf("490491");
        break;
    case 899:
        printf("492171");
        break;
    case 900:
        printf("492651");
        break;
    case 901:
        printf("494315");
        break;
    case 902:
        printf("495115");
        break;
    case 903:
        printf("496123");
        break;
    case 904:
        printf("497019");
        break;
    case 905:
        printf("498459");
        break;
    case 906:
        printf("499059");
        break;
    case 907:
        printf("500871");
        break;
    case 908:
        printf("501775");
        break;
    case 909:
        printf("502975");
        break;
    case 910:
        printf("503551");
        break;
    case 911:
        printf("505371");
        break;
    case 912:
        printf("505947");
        break;
    case 913:
        printf("507587");
        break;
    case 914:
        printf("508499");
        break;
    case 915:
        printf("509459");
        break;
    case 916:
        printf("510371");
        break;
    case 917:
        printf("511931");
        break;
    case 918:
        printf("512507");
        break;
    case 919:
        printf("514343");
        break;
    case 920:
        printf("515047");
        break;
    case 921:
        printf("516271");
        break;
    case 922:
        printf("517191");
        break;
    case 923:
        printf("518871");
        break;
    case 924:
        printf("519351");
        break;
    case 925:
        printf("520791");
        break;
    case 926:
        printf("521715");
        break;
    case 927:
        printf("522939");
        break;
    case 928:
        printf("523835");
        break;
    case 929:
        printf("525691");
        break;
    case 930:
        printf("526171");
        break;
    case 931:
        printf("527683");
        break;
    case 932:
        printf("528611");
        break;
    case 933:
        printf("529851");
        break;
    case 934:
        printf("530783");
        break;
    case 935:
        printf("532063");
        break;
    case 936:
        printf("532639");
        break;
    case 937:
        printf("534511");
        break;
    case 938:
        printf("535303");
        break;
    case 939:
        printf("536551");
        break;
    case 940:
        printf("537287");
        break;
    case 941:
        printf("539167");
        break;
    case 942:
        printf("539791");
        break;
    case 943:
        printf("541551");
        break;
    case 944:
        printf("542479");
        break;
    case 945:
        printf("543343");
        break;
    case 946:
        printf("544183");
        break;
    case 947:
        printf("546075");
        break;
    case 948:
        printf("546699");
        break;
    case 949:
        printf("548427");
        break;
    case 950:
        printf("549147");
        break;
    case 951:
        printf("550411");
        break;
    case 952:
        printf("551179");
        break;
    case 953:
        printf("553083");
        break;
    case 954:
        printf("553707");
        break;
    case 955:
        printf("555227");
        break;
    case 956:
        printf("556179");
        break;
    case 957:
        printf("557299");
        break;
    case 958:
        printf("558255");
        break;
    case 959:
        printf("559887");
        break;
    case 960:
        printf("560399");
        break;
    case 961:
        printf("562259");
        break;
    case 962:
        printf("563123");
        break;
    case 963:
        printf("564395");
        break;
    case 964:
        printf("565355");
        break;
    case 965:
        printf("566891");
        break;
    case 966:
        printf("567419");
        break;
    case 967:
        printf("569351");
        break;
    case 968:
        printf("570231");
        break;
    case 969:
        printf("571383");
        break;
    case 970:
        printf("572151");
        break;
    case 971:
        printf("574091");
        break;
    case 972:
        printf("574739");
        break;
    case 973:
        printf("576395");
        break;
    case 974:
        printf("577367");
        break;
    case 975:
        printf("578327");
        break;
    case 976:
        printf("579287");
        break;
    case 977:
        printf("581239");
        break;
    case 978:
        printf("581887");
        break;
    case 979:
        printf("583647");
        break;
    case 980:
        printf("584319");
        break;
    case 981:
        printf("585615");
        break;
    case 982:
        printf("586595");
        break;
    case 983:
        printf("588559");
        break;
    case 984:
        printf("589199");
        break;
    case 985:
        printf("590767");
        break;
    case 986:
        printf("591663");
        break;
    case 987:
        printf("592767");
        break;
    case 988:
        printf("593631");
        break;
    case 989:
        printf("595479");
        break;
    case 990:
        printf("595959");
        break;
    case 991:
        printf("597939");
        break;
    case 992:
        printf("598899");
        break;
    case 993:
        printf("600219");
        break;
    case 994:
        printf("601059");
        break;
    case 995:
        printf("602643");
        break;
    case 996:
        printf("603299");
        break;
    case 997:
        printf("605291");
        break;
    case 998:
        printf("606287");
        break;
    case 999:
        printf("607583");
        break;
    case 1000:
        printf("608383");
        break;
    }
}