HASH(0x76107e4d1b20)