HASH(0x7f5cec2940b8)