#include <iostream>
int main(int argc, const char * argv[])
{
    int n;
    while (std::cin >> n) {
        if (n>2014)    std::cout << n << '\n';
    }
}