Task 16 - One LED Blinks Twice, The Other Blinks Once coding

int ledPin = 13; // LED connected to digital pin 13
int redLedPin = 12; // LED connected to digital pin 12
int del =100;


// The setup() method runs once, when the sketch starts


void setup() {
// initialize the digital pin as an output:
pinMode(ledPin, OUTPUT);
pinMode(redLedPin, OUTPUT);
}


// the loop() method runs over and over again,
// as long as the Arduino has power


void loop()
{

digitalWrite(ledPin, HIGH); // set the LED on
digitalWrite(redLedPin, LOW);// set the LED on
delay(del); // wait for a second
digitalWrite(ledPin, LOW); // set the LED off
digitalWrite(redLedPin, LOW);// set the LED off
delay(del);// wait for a second
digitalWrite(ledPin, HIGH); // set the LED on
digitalWrite(redLedPin, LOW);// set the LED off
delay(del);// wait for a second
digitalWrite(ledPin, LOW); // set the LED off
digitalWrite(redLedPin, LOW);// set the LED off
delay(del);// wait for a second
digitalWrite(ledPin, LOW); // set the LED off
digitalWrite(redLedPin, HIGH);// set the LED on
delay(del); // wait for a second
digitalWrite(ledPin, LOW); // set the LED off
digitalWrite(redLedPin, LOW);// set the LED off
delay(del);// wait for a second

}