// ascii.c
#include <stdio.h>

int main(void)
{
	char ch = 0;
	while ( scanf("%c", &ch) == 1 )
		fprintf(stdout, "[%lc]", ch);

	return 0;
}