grade.pl: added validation to number of digits in student id.