Pasted code for grader.js