#include<stdio.h>

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

    return 0;
}