web.js port change, index.html improved