#include <stdio.h>

main()
{
  int c;

  while((c = getchar()) != EOF)
    if (c == '\t')
      printf("\\t");
    else if (c == '\b') 
      printf("\\b");
    else if (c == '\\')
      printf("\\\\");
    else
      putchar(c);
}