void setup() {
pinMode(13, INPUT);
pinMode(12, OUTPUT);
}

void loop() {

int x = digitalRead(13);
if (x == HIGH){
  digitalWrite(12, HIGH);
  }
  else {
  digitalWrite(12, LOW);
  }
}