void setup() {
  // put your setup code here, to run once:
pinMode(13, OUTPUT); // first green led
pinMode(12, OUTPUT); // first yellow led
pinMode(11, OUTPUT); // first red led
pinMode(10, OUTPUT);
pinMode(9, OUTPUT);
pinMode(8, OUTPUT);
pinMode(7, OUTPUT);
pinMode(6, OUTPUT);
pinMode(5, OUTPUT);
pinMode(4, OUTPUT);
pinMode(3, OUTPUT);
pinMode(2, OUTPUT);
}

void loop() {
  // put your main code here, to run repeatedly:
  digitalWrite(13, HIGH);
  digitalWrite(10, HIGH);
  digitalWrite(7, HIGH);
  delay(8000);
  digitalWrite(11, LOW);
  digitalWrite(12, HIGH);
  delay(3000);
  digitalWrite(13, LOW);
}