#include <stdio.h> int main() { int myNum = 1000; printf("%d", myNum); return 0; }