有以下程序，其中k的初值为八进制数　　#include　　main()　　{intk=;　　printf(“%dn”，k++);　　｝程序运行后的输出结果是__ABCD