Hello, world! implementation using HTML5