以下程序的输出结果是（ ）。#include<stdi

#include<stdio.h>
f(char *s)
{
    char *p=s;
    while(*p!='\0')
        p++;
    return(p-s);
}
void main()
{
    printf("%d\n",f("ABCDEF"));
}