changes in web.js for index.html