#include <iostream>
using namespace std;

extern "C" {
	int main() {
		int i = 0x000000; while(i <= 0x270F) {
			printf("%.4d\n", i++);
		}
		return false;
	}
}