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

void loop() {
  // put your main code here, to run repeatedly:
  int button_value = digitalRead(12);

  if (button_value == HIGH)
    digitalWrite(13, HIGH);
  else
    digitalWrite(13, LOW);

}