HASH(0x7f5cae65c0d8)