void setup() {
  pinMode(7, INPUT_PULLUP);
  pinMode(12, OUTPUT);
}

bool led12=LOW;

void loop() {
  bool sw7 = digitalRead(7);
  if(sw7 == 0){
    if(millis() % 500==0){
    led12=!led12;
    digitalWrite(12,led12);
    }
  }
  else{
    digitalWrite(12,LOW);
  }
  delay(1);

}