下面程序段的运行结果是char*p=”abcdefgh”;p+=;printf(“%d”，strlen(strcpy(p，”ABCD”)));