#include <stdio.h>

int main()
{
	int N;
	scanf("%d", &N);
	printf("%03d\n", N);
	fflush(stdout);
	return 0;
}