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

void loop() {
  if(digitalRead(13)==HIGH)
    {
      digitalWrite(12, HIGH);
    }else 
    {
      digitalWrite(12,LOW);
    }
}