modify web.js to read index.html