main(a){read(0,&a,3);printf("(%c%c%c)/",a,a>>16,a);}