下列程序中的函数strcpy2()实现字符串两次复制，即将t所指字符串复制两次到s所指内存空间中，合并形成一个新字符串。例如t所指字符串为efgh，调用strcpy2后，s所指字符串为efghefgh。请填空。
#include＜stdio.h＞
#include＜string.h＞
void strcpy2(char*s,char*t)
char*P=t；
while(*s++=*t++)；
s= (12) ；
while( (13) =*P++)；
main()
char str1[100]="ahcd",str2[]="efgh"；
strcpy2(str1,str2);printf("%s\n",str1)；
