num_precedent=72