/*#include <stdio.h>
#include <stdlib.h>
int main()
{
printf("Hello world!\n");
return 0;
}
*/
/*#include <stdio.h>
int main()
{
int a,b,c;
scanf("%d.%d.%d", &a, &b, &c );
printf("%04d.%02d.%02d", a,b,c);
return 0;
}*/
/*#include <stdio.h>
int main ()
{
int a, b;
scanf("%d-%d", &a, &b);
printf("%06d%06d", a, b);
return 0;
}
*/
/*#include<stdio.h>
int main()
{
int a, b;
scanf("%d.%d",&a,&b);
printf("%d\n%d", a,b);
return 0;
}
*/
#include<stdio.h>
int main ()
{
int a,b,c,d,e;
scanf("%1d%1d%1d%1d%1d",&a,&b,&c,&d,&e);
printf("[%d]",a*10000);
return 0;
}