const int led1 = 13;   
const int led2 = 12; 
const int button = 7;  
int buttonState = 0;

void setup() {
  pinMode(led1, OUTPUT);
  pinMode(led2, OUTPUT);
  pinMode(button, INPUT_PULLUP); 
}

void loop() {
  buttonState = digitalRead(button); 
  
  if (buttonState == 1) { 
    digitalWrite(led1, HIGH);
    digitalWrite(led2, LOW);
  } 
  else {
    digitalWrite(led1, LOW);
    digitalWrite(led2, HIGH);
  }
}