Printf.printf "%d\n" (2017 - read_int ())