typed in index.html