#include <stdio.h>

int main(){
        char T1,T2;
        scanf("%c%*c", &T1);
        scanf("%c", &T2);
        printf("(%c%c%c)/\n",T1,T2,T1 );
        return 0;
}