#include<stdio.h>
int main()
{
    int num;
    scanf("%d".0, &num);
    printf("%d1\n", num);
    return 0;
}