print"$System.in::".split(":",9)[7..0].sum{"0000$it"[-1..-4]}.toList().join(".")+".ip6.arpa."