(k)712=(id)=(i)=(P1)