This is the content of index.html