int red_pin = 1;
int yellow_pin = 2;
int green_pin = 3;

void setup() {
  pinMode(red_pin, OUTPUT);
  pinMode(yellow_pin, OUTPUT);
  pinMode(green_pin, OUTPUT);
}

void loop() {
  // Turn on the green light for 5 seconds
  digitalWrite(green_pin, HIGH);
  delay(5000);

  // Turn on the yellow light for 1 second
  digitalWrite(yellow_pin, HIGH);
  digitalWrite(green_pin, LOW);
  delay(1000);

  // Turn on the red light for 5 seconds
  digitalWrite(red_pin, HIGH);
  digitalWrite(yellow_pin, LOW);
  delay(5000);
  digitalWrite(red_pin, LOW);
}