#include <stdio.h>

int main()
{
	int ch = 0;

	while ( ( ch = fgetc(stdin) ) != EOF )
	{
		putchar('[');
		putchar(ch);
		putchar(']');
	}

	return 0;
}