discard stdin.readLine
echo "Hello World!"