HASH(0x76107007b420)