HASH(0x78c39e66bf20)