8712 K=P(1)