Update index.html

god this became dirty. but who cares? as if anyone would ever use this code?