HASH(0x7fedfe60fc10)