Modify web.js to read index.html