IPK , Formula K , Praga , OK1