阅读下列程序，并回答问题： #include substr(char*t,char*s,int pos,int len) { while（len>0&&*s） { *t=*(s+pos-l); t++;s++;len--; } *t=’\0’; } char *f31(char*s) { char t[100]; if (strlen(s)=1) return s; substr(t,s,1,1); substr(s,s,2,strlen(s)-1); f31(s); return strcat(s,t); } main( ) { char str[100]= ’’String’’; printf(’’%s\n’’,f31(str)); }

请写出执行该程序后的输出结果；