web.js modified to read index.html