HASH(0x7fa9a95a42e0)