HASH(0x7f7abec2f2f0)