int PButton = 7;
int LEDr = 13;

void setup() {
  // put your setup code here, to run once:
pinMode(PButton, INPUT);
pinMode(LEDr, OUTPUT);
digitalWrite(LEDr, LOW);
}

void loop() {
  // put your main code here, to run repeatedly:
while (digitalRead(PButton)) {
digitalWrite(LEDr, HIGH);
delay(125);
digitalWrite(LEDr, LOW);
delay(125);
}
digitalWrite(LEDr, HIGH);
delay(500);
digitalWrite(LEDr, LOW);
delay(500);
}