#include<stdio.h>
int main()
{
    int a;
    scanf("%d",&a);
    printf("%d0%d00%d000%d0000%d00000%d",a);
    return 0;
}