/* Contents of index.html */