HASH(0x76107dd859d0)