#include "bits/stdc++.h"
using namespace std;

typedef long long ll;

int main(){
    cout << "Hello World!" << endl;
    int N;
    cin >> N;
    int sum=0;
    for(int i=0; i<N; i++) sum += i+1;
    cout << sum << endl;
}