main(s){gets(&s);puts("3436288059049"+s%56/3);}