#include #include #include #include #include #include int main(void) { char str[100000000000000000001]=""; scanf("%s",str); printf("%s0",str); }