HASH(0x7fedfe6753e0)