以下程序的输出结果是 ( )　　main( )　　{ static char a[10] ＝{"Chinese"}；　　　printf("%d"，strlen(a))；　　}