Example HTML file