IPv6 Compress by JJeep

import re;print re.sub('(:0)+',':',':'.join(hex(int(x,16))[2:]for x in raw_input().split(':')),1).lstrip('0')

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

download

return top