#include <stdio.h>

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