下列程序中的函数strcpy2()实现字符串两次复制，即将t所指字符串复制两次到s所指内存空间中，合并形成一个新字符串，例如t所指字符串为efgh，调用strcpy2后，s所指字符串为efghefgh，请填空。
#include
#include
void strcpy2(char *s,char *t)
char *p=t;
while(*s++=*t++);
s= (12) ;
while( (13) =*p++);

main()
char str1[100]="abcd",str2[]="efgh";
strcpy2(str1,str2); printf("%s\n",str1);