#include<stdio.h> int main() { int a = 12; printf("%04d\n",a); return 0; }
69,371
社区成员
243,082
社区内容
加载中
试试用AI创作助手写篇文章吧