Fixing error in web.js
Adding file encoding