num_precedent=142