#include<stdio.h>

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

    return 0;
}