// yukicoder: No.591 (^o^)/
// 2019.4.19 bal4u

#include <stdio.h>

char s[] = "(^o^)/";

int main()
{
	s[1] = s[3] = getchar(), getchar();
	s[2] = getchar();
	puts(s);
	return 0;
}