HASH(0x7f5d058e86f0)