Javascript and HTML document for Webdoc tutorial