main(_,r){puts("3459049362880"-r%5*3);}