#define RED 3
#define BUTTON 2
int val;
int ESTADO = LOW;

void setup() {
  // put your setup code here, to run once:
  pinMode(RED, OUTPUT);
  pinMode(BUTTON, INPUT);
}

void loop() {
  // put your main code here, to run repeatedly:
  
  while(digitalRead(BUTTON)==LOW){
    
  }
  digitalWrite(RED, HIGH);
  delay(5000);
  digitalWrite(RED, LOW);  
  while(digitalRead(BUTTON)== HIGH){
    
  }
}