//set pin numbers
int powerPin = 13;
int buttonPin = 12;
int redLed1 = 11;
int redLed2 = 10;
int redLed3 = 9;


void setup () {
  // initialize the pins
  pinMode(powerPin, OUTPUT);
  pinMode(redLed1, OUTPUT);
  pinMode(redLed2, OUTPUT);
  pinMode(redLed3, OUTPUT);
  pinMode(buttonPin, INPUT);

  // setup high for powerpin used as 5V for button
  digitalWrite(powerPin, HIGH);
}
void loop() {
  //read the state of the pushbutton value:
  int buttonState = digitalRead(buttonPin);

  //check if the pushbuton is pressed.

  if (buttonState == HIGH) {
  digitalWrite(redLed1, HIGH);
  digitalWrite(redLed2, HIGH);
  digitalWrite(redLed3, HIGH);
  delay(500);
  digitalWrite(redLed1, LOW);
  digitalWrite(redLed2, LOW);
  digitalWrite(redLed3, LOW);
  delay(500);
}
else{
  digitalWrite(redLed1, LOW);
  digitalWrite(redLed2, LOW);
  digitalWrite(redLed3, LOW);
}
}