#include<stdio.h>
int main()
{
    int num;
    scanf("%d",&num);
    printf ("04d",num);
    return 0;
}