HASH(0x7fac1c1d5158)