(insert "Hello world!")