#include <fstream>
#include <iostream>

int main() {

	//std::ifstream inf("Text.txt");	std::cin.rdbuf(inf.rdbuf());

	char T1, T2;
	std::cin >> T1 >> T2;

	std::cout << "(" << T1 << T2 << T1 << ")/" << std::endl;

	return 0;
}