web.js modified to take html file