HASH(0x7f132de80b88)