typing in index.html