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

}
void loop() {
digitalWrite(13, LOW);
  int read=digitalRead(12);
  if(read == HIGH)
  {
    digitalWrite(13,HIGH);
    delay(1000); 
  }
  delay(1000); 
}