HASH(0x7f5c952b12e0)