HASH(0x76107d401d80)