HASH(0x76107de58ce8)