#include <stdio.h>

int main()
{
    char s[13] = "1 ";
    gets(s+2);
    puts(s);
    return 0;
}