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

}

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

}