Modified web.js for reading index.html.