下面程序的输出结果是( )。
#include "string.h"
fun(char *w,int n)
char t,*s1,*s2;
s1=w; s2=w+n-1;
while(s1＜s2)
t=*s1++；
*s1=*s2--：
*s2=t：


main()
static char p[]="1234567";
fun(p,strlen(p))；
printf("%s",p)；

A．7654321
B．1717171
C．7171717
D．1711717