#include <cstdio>

int main()
{
	int r = 777;

	printf("%010d", r);

	return 0;
}