Updated grader.js and web.js