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

void 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("\\%03o", ch); break;
		}
	}

	exit(0);
}