若有下列定义和语句： char*s1="12345",*s2="1234"; printf("%d\n",strlen(strcpy(s1,s2))); 则输出结果为______。