HASH(0x7f5cb427d0b0)