以下程序的输出结果是 ( ) 　　main( ) 　　{ int k＝17；　　　printf("%d，%o，%x\n"，k，k，k)；}