HASH(0x7f5ccc0fe1b0)