// int led01 = 13;
// int led02 = 12;
// int switchPin = 2;
// int switchState = 0;

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

void loop() {
  if (digitalRead(2) == HIGH) {
    digitalWrite(13, HIGH);
    digitalWrite(12, HIGH);
  }
  else {
    digitalWrite(13, LOW);
    digitalWrite(12, LOW);
  }
}