HASH(0x56188e24c0d8)