设char a[ ]="hap\npy";，则执行语句printf("%d",strlen(a));后输出结果是