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