print[raw_input(),":"*120,"x"*27][id("")%3]