#include <stdio.h>
    int main()
    {
        char ch1[] = "HelloInterviewMania!";
        char ch2[13];
        scanf(ch1, "%s", ch2);
        printf("%s\n", ch2);
        return 0;
    }