#include<stdio.h>

int main(void){
    char *a,*b;
    a=getchar();
    b=getchar();
    printf("(%s%s%s)/\n",a,b,a);

    return 0;
}