有以下程序： main() {int k=5； while(--k)printf("%d"，k-=3)； printf("\n")； } 执行后的输出结果是( )。