int red = 12;
int yellow = 11;
int green = 10;

int button = 9;
int buttonState = 0;


void setup() {
  // put your setup code here, to run once:
pinMode(red, OUTPUT);
pinMode(yellow, OUTPUT);
pinMode(green, OUTPUT);

pinMode(button, INPUT);
}

void loop() {
  // put your main code here, to run repeatedly:
buttonState = digitalRead(button);

if (buttonState == 0){
  digitalWrite(red, HIGH);
}

if (buttonState == 1){
  delay(1500);
  digitalWrite(red, LOW);

  digitalWrite(yellow, HIGH);
  delay(2000);
  digitalWrite(yellow, LOW);

  digitalWrite(green, HIGH);
  delay(6000);
  digitalWrite(green, LOW);

  digitalWrite(yellow, HIGH);
  delay(2000);
  digitalWrite(yellow, LOW);
}
}