void setup() {
  pinMode(13, INPUT);
  pinMode(12, INPUT);
  pinMode(7, OUTPUT);
  digitalWrite(7,HIGH);
  // put your setup code here, to run once:

}

void loop() {
  if (digitalRead(13)) digitalWrite(7, LOW);
  if (digitalRead(12)) digitalWrite(7, HIGH);
  // put your main code here, to run repeatedly:

}