HASH(0x7f5cda63dbb8)