HASH(0x7f5ca02af9b0)