ln=$stdin.readlines
if ln.size==0
    puts "Hello World!"
    exit
end
if ln.size==1
    s=ln[0].split.map &:to_i
    n=s[0]
    puts n*(n+1)/2
    exit
end