main(_,r){puts("4589117"-r%7);}