#define redLamp 13
#define yelLamp 12
#define greenLamp 11

void setup() {
  // put your setup code here, to run once:
  pinMode(redLamp, OUTPUT);
  pinMode(yelLamp, OUTPUT);
  pinMode(greenLamp, OUTPUT);
}
void redON() {
  digitalWrite(redLamp, HIGH);
}
void redOFF() {
  digitalWrite(redLamp, LOW);
}
void yelON(){
  digitalWrite(yelLamp, HIGH);
}
void yelOFF(){
  digitalWrite(yelLamp, LOW);
}
void greenON(){
  digitalWrite(greenLamp, HIGH);
}
void greenOFF(){
  digitalWrite(greenLamp, LOW);
}
void loop() {
  // put your main code here, to run repeatedly:
  redON();
  delay(4000);
  yelON();
  delay(1000);
  redOFF();
  delay(4000);
  yelOFF();
  greenON();
  delay(5000);
  greenOFF();
}