Modify web.js as in prof's instructions.