L=raw_input();l=len(L) print(L,("x"*27,":"*120)[l>18])[l>10]