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

}