#include <stdio.h>
int main(void)
{
    char buf[100];
    scanf("%s", buf);
    printf("Hello %s!", buf);
    return 0;
}