index.html typed in laboriously