#include <stdio.h>

int main(void){
  char T1[2] = "";
  char T2[2] = "";

  scanf("%s", T1);
  scanf("%s", T2);

  printf("(%s%s%s)/\n",T1,T2,T1);

  return 0;
}