J='.'.join;print(J(J(e.zfill(4))for e in raw_input().split(':'))+'.0'*9)[62::-1]+'.ip6.arpa.'