#include <stdio.h>
int main(){

char s[2];
scanf("%c",&s[0]);
scanf("%*c%c",&s[1]);
printf("(%c%c%c)/\n",s[0],s[1],s[0]);

	return 0;
}