HASH(0x7fedfe6688e0)