#include <stdio.h>
int main()
{    
    int a,;
    scanf("%d",&a);
    for(a=1; a<=5 ; a++);
    {
    printf("%0*d\n",a+8,);
    }
    return 0;
}