HASH(0x7fa9e15e76b0)