int PButton = 12;
 int LEDr = 10;

 void setup()
 {
 pinMode(PButton, INPUT);
 pinMode(LEDr, OUTPUT);
 digitalWrite(LEDr, LOW);
 }

 void loop()
 {

 while (digitalRead(PButton)) {

 digitalWrite(LEDr, HIGH);
 delay(125);
 digitalWrite(LEDr, LOW);
 delay(125);
 }

 digitalWrite(LEDr, HIGH);
 delay(500);
 digitalWrite(LEDr, LOW);
 delay(500);
 }