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