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

#include "support.h"


int main(int argc, char **argv)
    {
    int c;
    c = 0;

    for(;(c = getchar()) != EOF;)
	{
	if(isascii(c) && !(c == ' ' || c == '\n' || c == '\t'))
	    {
	    putc(c, stdout);
	    }
	else
	    {
	    fprintf(stdout, "%.3o", c);
	    }
	}

    return(0);
    }