HASH(0x7fedee57c228)