//Franz Delos Santos

void setup() {
  pinMode(13, OUTPUT); 
  pinMode(12, OUTPUT); 
  pinMode(2, INPUT);
}

void loop() {
  if (digitalRead(2) == HIGH) {
    while (true) {
      digitalWrite(13, HIGH); 
      delay(500); 
      digitalWrite(13, LOW); 

      digitalWrite(12, HIGH);
      delay(500);
      digitalWrite(12, LOW);
    }
  } else {
    digitalWrite(13, LOW);
    digitalWrite(12, LOW); 
  }
}