HASH(0x7f5cedee65e0)