HASH(0x7fb5d9e384b0)