#include <stdio.h>

int main() 
{
   int n;
   scanf("%d",&n);
   printf("%09d",n);
   return 0;
}