下面程序段的运行结果是（）。  char *p=“abcdefgh”;  p+=3;  printf(“%d/n”,strlen(strcpy(p,“ABCD”))); 

• A、4
• B、7
• C、8
• D、12