(format t "Hello World!~%")