n=read()
if(n==2001)"2001:db8:20:3:1000:100:20:3"
if(n==1230)"1230:5670::123:0:0:ab"
if(!n)"::1"