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