若有以下定义和语句：char*s1="12345"，*s2="1234"；printf（"%d\n"，strlen（strcpy（s1，s2）））；则输出结果是（）。