#define LED_ROJO 10
#define LED_AMARILLO 9
#define LED_VERDE 8
#define PULSADOR 7

int x;

void setup() {
  pinMode(LED_ROJO, OUTPUT);
  pinMode(LED_AMARILLO, OUTPUT);
  pinMode(LED_VERDE, OUTPUT);
  pinMode(PULSADOR, INPUT);

  digitalWrite (LED_ROJO, HIGH); 
  digitalWrite (LED_AMARILLO, HIGH);
  digitalWrite (LED_VERDE, HIGH);

  delay(2000);

  digitalWrite (LED_ROJO, LOW); 
  digitalWrite (LED_AMARILLO, LOW);
  digitalWrite (LED_VERDE, LOW);

}

void loop() {
   digitalWrite(LED_VERDE, HIGH);

   while(digitalRead(PULSADOR)==true);

   delay(2000);
   digitalWrite(LED_VERDE, LOW);
   for(x=0; x<5; x++) { 
      digitalWrite(LED_AMARILLO, HIGH);
      delay(600);
      digitalWrite(LED_AMARILLO, LOW);
      delay(600);
   }
   digitalWrite(LED_ROJO, HIGH);
   delay(7000);
   digitalWrite(LED_ROJO, LOW);
   digitalWrite(LED_VERDE, HIGH);
}