#include<stdio.h>

int main(void){
  char T1, T2;
  char S[7];
  scanf("%c %c", &T1, &T2);
  S[0] = '(';
  S[1] = T1;
  S[2] = T2;
  S[3] = T1;
  S[4] = ')';
  S[5] = '/';
  S[6] = '\0';
  printf("%s\n", S);
  return 0;
}