public override string ToString() { return givenName + " " + surname + " (ID: " + student_ID + ")"; } }