int main(){write(({"x"*27,"(:aSS):aSS",":"*120})[random(3)]);}