一个指针的长度是怎么算的

若已定义char *s="Welcome\72Fu\0Jian!\n"，语句printf("%d"，strlen(s));执行的结果是什么

12，字符串长度计算\0前的