若有如下定义和语句：chars[]=“a□book!”;printf(“%d”，strlen(s));则输出结果是：