checking in html grader script