Modify web.js to read contents of index.html