下面程序段的运行结果是

char *p="abcdefgh";

p+=3;

printf（"%d＼n",strlen（strcpy（p,"ABCD"）））;

A．8

B．12

C．4

D．7