HASH(0x76107de4e3d8)