Pasted HelloWorld document