已有声明"int a;char s[80]="123456";",执行语句"strcpy(s+4,"123456");a=strlen(s);"后变量a的值是___(5)___。