单项选择题

下面程序段的运行结果是( )。
char a[]="abcdefgh";
char *p=a;
p+=3;
printf("%d\n",strlen(strcpy(p,"ABCD")));

A.8
B.12
C.4
D.7