HASH(0x7fa9e8e50d30)