HASH(0x76107de8aa00)