Arduino uno programming over OTA with ESP8266

Using Arduino Interfacing w/ Software on the Computer
147

i change
SoftwareSerial Serial1(6, 7); // RX, TX
to
SoftwareSerial Serial1(TX, RX); // RX, TX ?