// editor2
#include<stdio.h>

int main()
{
    int i;
    scanf("%d",&i);
    printf("\n%d00000",i);
    return o;
}