#include <stdio.h>

int main(void) {
	char T1, T2;
	
	scanf("%c", &T1);
	getchar();
	scanf("%c", &T2);
	
	printf("(%c%c%c)/\n", T1, T2, T1);
	
	return 0;
}