HASH(0x76107dd80d20)