(defun main (s)
  (format t "Hello World!"))

(main (read-line))