HASH(0x7f5cb43c67a0)