HASH(0x7fedfe56a228)