以下代码的输出结果是什么？ int i = 1; do { printf("%d ", i); i++; } while (i <= 5);