Note: This HTML file would only work if you access it through a web server. Opening it with a file:// URL will cause Metamask not to inject the Web3 API.