有以下程序：#include<stdio.h>intfun(char*s){char*p=s;while(*p++!='\0');return(p-s);}main(){char*p="01234";printf("%d\n",fun(p));}程序的运行结果是（　　）。