#include<stdio.h>
int main()
{

    char s[1000];
    int i=0,c;
    while((c=getchar())!=EOF)
    {
        if(c=='\t')
        {
            s[i]='\\';
            i++;
            s[i]='t';
            i++;
        }
        else if(c=='\\')
        {
            s[i]='\\';
            i++;

        }
        else if(c=='\b')
        {
            s[i]='\\';
            i++;
            s[i]='b';
            i++;
        }
        else
        {
            s[i]=c;
            i++;
        }
    }
    s[i]='\0';
    printf("%s\n",s);

    return 0;
}