HASH(0x78c3526dbc28)