int LEDred=12 ;
int LEDyellow=11 ;
int LEDgreen=10 ;

void setup() {
  // put your setup code here, to run once:
pinMode (LEDred, OUTPUT);
pinMode (LEDyellow, OUTPUT);
pinMode (LEDgreen, OUTPUT);
}

void loop() {
  // put your main code here, to run repeatedly:
digitalWrite (LEDred,HIGH);
delay (3000);
digitalWrite (LEDred, LOW);
delay (200);
digitalWrite(LEDyellow, HIGH);
delay(3000);
digitalWrite(LEDyellow, LOW);
delay (200);
digitalWrite(LEDgreen, HIGH);
delay (3000);
digitalWrite(LEDgreen, LOW);
delay (200);
digitalWrite(LEDyellow, HIGH);
delay (1000);
digitalWrite(LEDyellow, LOW);
delay (200);
}