HASH(0x76107de7e9e0)