HASH(0x7fa9b43f1fe0)