first customizations of HelloWorld.html