void setup()
{
  pinMode(4, OUTPUT);
  pinMode(5, OUTPUT);
  pinMode(11, OUTPUT);
  pinMode(12, OUTPUT);
  pinMode(13, OUTPUT);
  pinMode(7, INPUT);
}

void loop()
{
  digitalWrite(4, LOW);
  digitalWrite(5, HIGH);
  digitalWrite(11, HIGH);
  digitalWrite(12, LOW);
  digitalWrite(13, LOW);
  if (digitalRead(7) == HIGH) {
    digitalWrite(11, LOW);
    digitalWrite(5, LOW);
    digitalWrite(13, HIGH);
    digitalWrite(4, HIGH);
    delay(2000); // Wait for 2000 millisecond(s)
    digitalWrite(13, LOW);
    digitalWrite(4, LOW);
    digitalWrite(11, HIGH);
    digitalWrite(5, HIGH);
    delay(4000); // Wait for 4000 millisecond(s)
    digitalWrite(11, LOW);
    digitalWrite(12, HIGH);
    delay(1000); // Wait for 1000 millisecond(s)
    digitalWrite(12, LOW);
    digitalWrite(5, LOW);
    digitalWrite(13, HIGH);
    digitalWrite(4, HIGH);
    delay(2000); // Wait for 2000 millisecond(s)
  } else {
    digitalWrite(13, LOW);
    digitalWrite(4, LOW);
    digitalWrite(11, HIGH);
    digitalWrite(12, LOW);
    digitalWrite(5, HIGH);
  }
}