#include <cstdio>
using namespace std;
int main() {
  char input[255];
  while( gets( input ) != NULL ) {
    printf( "[%s] ", input );
  }
  return 0;
}