Update index.html

updated the 4 definitions