若有如下程序：#include"stdio．h"main(){char s[30]； strcpy(&s[0]，"abc")； strcpy(&s[1]，"de")； strcpy(&s[2]，"f")； printf("%s\n"，s)； }则程序运行后的输出结果是 【7】 。