有以下程序#include#includemain(){chars[]=”Beijing”;printf(“%d”，strlen(strcpy(s，”China”)));}程序运行后的输出结果是（）