void setup() {
  // put your setup code here, to run once:
pinMode(13, OUTPUT);
pinMode(6, INPUT);
}

void loop() {
  // put your main code here, to run repeatedly:
int a;
a=digitalRead(6);
if(a==HIGH)
{
  digitalWrite(13, HIGH);
  delay(5000);
}
else
digitalWrite(13, LOW);
}