#include<stdio.h>
int main()
{
 int 1000 ;
scanf("%d",&1000);
printf("0%d",1000);
printf("00%d",1000);
printf("000%d",1000);
printf("0000%d",1000);
return 0;
}