HASH(0x7f132dea0320)