HASH(0x7f5cb8de5080)