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

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