HASH(0x58db0a1653d0)