Petrokov , äfven en polsk ort.