web.js now in port 8080. index.html updated