Hello world ! (this time, from a static HTML file)