#include<stdio.h>

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

    return 0;
}