HASH(0x7f5cb43d41d0)