#include <stdio.h>
#include <stdlib.h>
#define g getchar
int main(void){
    char c=g();g();printf("(%c%c%c)/",c,g(),c);
}