有以下程序　main()　{　char　a[7]="a0\0a0\0"；int　i,j；　i=sizeof(a)；j=strlen(a)；　printf("%d%d\n"，i,j)；　}　程序运行后的输出结果是______。