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 to the top page