HASH(0x76102c12db30)