Janez Petrovčič — državni prvak