body of index.html