(format t "Hello World!")