#include<stdio.h>

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

    return 0;
}