if(i=read())if(i<6^4)"1230:5670::123:0:0:ab"else"2001:db8:20:3:1000:100:20:3"else"::1"