edited web.js to output index.html