HASH(0x7f5cb0a83e20)