#define LED_ROJO 10
#define LED_AMARILLO 9
#define LED_VERDE 8
#define PULSADOR 7
int cont;

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

void loop ()
{
  digitalWrite(LED_VERDE, HIGH);
  while(digitalRead(PULSADOR)==false);
  digitalWrite(LED_VERDE, LOW);
  
  for(cont=0;cont<5;cont++)
  {
    digitalWrite(LED_AMARILLO, HIGH);
    delay(600);
    digitalWrite(LED_AMARILLO, LOW);
    delay(600);
  }
  digitalWrite(LED_ROJO, HIGH); 
  delay(10000);
  digitalWrite(LED_ROJO, LOW); 
}