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

void loop() 
{
  if(digitalRead(7) == HIGH)
  {
    delay(100);
    if(digitalRead(7) == HIGH)
    {
      digitalWrite(12, HIGH);
      delay(1000);
      digitalWrite(12, LOW);
    }
  }
}