#include <stdio.h>
#include <ctype.h>

int main(void)
{
	int ch;

	while((ch = getchar()) != EOF){
		if (isprint(ch))
			putchar(ch);
		else switch (ch){
		case '\t':	printf("\\t");        break;
		case '\b':	printf("\\b");         break;
		case '\f':	printf("\\f");        break;
		case '\0':	printf("\\0");        break;
		case '\\':	printf("\\\\");        break;
		case '\v':	printf("\\v");        break;
		case '\r':	printf("\\r");        break;
		case '\a':	printf("\\a");         break;
		case '\n':	printf("\\n\n");      break;
		default:	printf("\\%02x", ch); break;
		}
	}

	return(0);
}