#include<stdio.h>
int main()
{
    char name[50];
    scanf("%[^\n]s",&name);
     printf("Name: %s\n",name);
     return 0;
}