#include <stdio.h>

int main(void) {

  char str1[50];
  char str2[50];

  scanf("%s", str1);
  scanf("%s", str2);

  printf("(%s%s%s)/\n", str1, str2, str1);

  return 0;
}