HASH(0x76107dd30da0)