#include<stdio.h>

int main(){
	printf("Our numbers:  %d%d%d\n", 1, 2, 3);
	size_t x;
	size_t y;
	y = 0x656667686970;
	x = 0x123456789;
	printf("%lx\n", x);
	return 0;
}