int pushButton=7;
int redLed=13;
int state=0;
int time=1000;

void setup() {
pinMode(pushButton, INPUT);
pinMode(redLed, OUTPUT);
}

void loop() {
state=digitalRead(pushButton);
if(state==HIGH){
digitalWrite(redLed, HIGH);
delay(time);
digitalWrite(redLed, LOW);
}
}