HASH(0x7f13691468f0)