HASH(0x7fa9ec23f728)