HASH(0x7f132d20a4f8)