#include <stdio.h>

int main ()
{
	int n = 0, m = 0, k = 0;
	scanf ("%d", &n);
	printf ("%-5X%-5X%05X%05X", n, n, n, n);
}