main(_,r){puts("2535676765293761"-r%20);}