已知char str[]="ABCD"；，则语句printf("%d"，strlen(str))；的输出是______。