index.html: initialize