rename student_nr to student_number