-- yukicoder My Practice
-- author: Leonardone @ NEETSDKASU

main = print . (2017 -) =<< readLn