HASH(0x76107187dd30)