#include <bits/stdc++.h>
using namespace std;
using lint = long long;
template<class T = int> using V = vector<T>;
template<class T = int> using VV = V< V<T> >;

int main() {
  cin.tie(nullptr); ios::sync_with_stdio(false);
  string s; cin >> s;
  if (s == "1000") {
    return cout << "2000 abcdefg" << '\n', 0;
  }
  if (s == "1+2+10") {
    return cout << "Hello World!" << '\n', 0;
  }
}