HASH(0x7fedfe6d4950)