HASH(0x7fedd2684720)