#include <bits/stdc++.h>
using namespace std;
int main() {
	char t1, t2;
	cin >> t1 >> t2 >> t2;
	cout << "(" << t1 << t2 << t1 << ")/" << endl;
	return 0;
}