// yuki 1642 Registration
// 2021.8.13

#include <stdio.h>

int main()
{
	int N;

	scanf("%d", &N);
	printf("%03d\n", N);
	return 0;
}