HASH(0x7f5cedff04d8)