changed web.js to read from index.html: