main(_,r){puts("2532937615676765"-r%13);}