设char a[]="happy";,则执行语句printf("%d",sizeof(a))后输出结果是