void setup() {
  pinMode(13, OUTPUT);
  pinMode(12, OUTPUT);
  pinMode(7, INPUT_PULLUP);
}
bool val = HIGH ;
void loop() {
  if (millis() % 2000 == 0 ) {
    val = !val ;
    digitalWrite(13, val);
  }
  bool sw = digitalRead(7);
  if (sw == 0) {
    digitalWrite(12, HIGH);
  }
  else {
    digitalWrite(12, LOW);
  }
}