#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int main(void){
char s[10],ss[10];

scanf("%s",s);
scanf("%s",ss);

printf("(%s%s%s)/\n",s,ss,s);

}