(write "Hello World")