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