web.js now read from index.html.