#include <stdio.h>
 
int main()
{
  char buffer[111];

  while (scanf("%79s", buffer) == 1)
    {
      fputs("Token: ", stdout);
      puts(buffer);
    }
  return 0;
}