HASH(0x76107dd54da0)