HASH(0x7f132dea1280)