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