#include <stdio.h>
int main(void){
    char t[2];
    scanf("%c\n%c",&t[0],&t[1]);
    printf("(%c%c%c)/\n",t[0],t[1],t[0]);
    return 0;
}