const int redBtn = 2;  
const int redLed = 7;  
const int yellowLed = 8;  
const int greenLed = 13;     
int colorState = 0;

void setup() {
  pinMode(redBtn, INPUT);
  pinMode(redLed, OUTPUT);
  pinMode(yellowLed, OUTPUT);
  pinMode(yellowLed, OUTPUT);
}

void loop() {
  if (digitalRead(redBtn) == HIGH) {
    colorState = (colorState + 1) % 3;
    setColor(colorState);
    delay(250);  // Debounce delay
  }
}

void setColor(int color) {
  digitalWrite(greenLed, color == 0);
  digitalWrite(redLed, color == 1);
  digitalWrite(yellowLed, color == 2);
}