HASH(0x7fedfe6716b8)