import hashlib,random

a='BCDFGHJKMPQRTVWXY2346789'

b=random.sample(a,12)+["\0"]

print''.join([('','-')[len(b)in[8,3]]+a[int(c,16)]+('','-')[len(b)in[11,6]]+b.pop(0)for c in hashlib.sha256(''.join(b[:12])).hexdigest()[-13:]])