Z 企业有各种各样的机器人。为了控制所有机器人，操作员 Tom 造了一个“万能遥控器”。只要向遥控器输入一个机器人的 IP 地址，就能遥控这个机器人。可是机器人实在太多，以至于使用 IPv4 协议都不能够唯一地标记每一个机器人。Tom 听说 Ipv6 协议拥有近无穷个地址，于是他就想用 IPv6 协议为机器人设定 IP 地址。

不过，完整的 IPv6 地址很长（有39个字符），手工输入很费时间，所以 IPv6 有一套简化的机制。

IPv6 的地址定义如下：
IPv6 的地址有 128 位，以 16 位为一分组，每个 16位 分组写成 4 个十六进制数，中间用冒号分割，称为冒号分十六进制格式。
例如：21DA:00D3:0000:2F3B:02AA:00FF:FE28:9C5A 是一个完整 IPv6 地址。

IPv6 地址中每个 16 位分组中的前导零位可以去除做简化表示，但每个分组必须至少保留一位数字。如上例中的地址，去除前导零位后可写成：
21DA:D3:0:2F3B:2AA:FF:FE28:9C5A

某些地址中可能包含很长的零序列，为进一步简化表示法，还可以将冒号十六进制格式中相邻分组的连续零位合并，用双冒号“::”表示。“::”符号在一个地址中只能出现一次，该符号也能用来压缩地址中前部和尾部相邻的连续零位。
注意：（一个单独的 0 分组不能使用“::”省略。

例如地址：
样例一：1080:0:0:0:8:800:200C:417A  可表示为压缩格式  1080::8:800:200C:417A
样例二：0:0:0:0:0:0:0:1   可表示为压缩格式  ::1
样例三：0:0:0:0:0:0:0:0   可表示为压缩格式  ::

现在，Tom 给了你一些 IPv6 地址，请你编写程序，把它们转换成完整的地址。