HTML code for index.html