int LEDpin = 12;
int wait = 1000;
int LEDpin2 = 7;
int LEDpin3 = 8;
const int BUTTON = 13;
int BUTTONstate = 0;
void setup() 
{
  // put your setup code here, to run once:
  pinMode(LEDpin, OUTPUT);
  pinMode(LEDpin2, OUTPUT);
  pinMode(LEDpin3, OUTPUT);
  pinMode(BUTTON, INPUT);
}
void loop() 
{
  // put your main code here, to run repeatedly:
  BUTTONstate = digitalRead(BUTTON);
  if (BUTTONstate == HIGH) {
  digitalWrite(LEDpin, HIGH);
  delay(wait);
  digitalWrite(LEDpin, LOW);
  digitalWrite(LEDpin2, HIGH);
  delay(wait);
  digitalWrite(LEDpin2, LOW);
  digitalWrite(LEDpin3, HIGH);
  delay(wait);
  digitalWrite(LEDpin3, LOW);}
  
}