#include <stdio.h>
void run(int *i)
{
	printf("%d",*i);
}

int main(void) {
	register int i = 04711;
	run(&i);
	return 0;
}