143/143 < First << 141142143