(contents of index2.html)