已知charstr[]="student",则strlen(str)的值为_____。