#include <bits/stdc++.h>
using namespace std;
int main() {
	//std::ios_base::sync_with_stdio(false);
	//std::cin.tie(nullptr);
	char t1, t2;
	cin >> t1 >> t2;
	printf("(%c%c%c)/\n", t1,t2,t1);
}