int PButton = 12;
int LEDr = 10;

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

}

void loop() {
  do{
    digitalWrite(LEDr, HIGH);
    delay(250);
    digitalWrite(LEDr, LOW);
    delay(250);
    }
    while(digitalRead(PButton));
    digitalWrite(LEDr, HIGH);
    delay(1000);
    digitalWrite(LEDr, LOW);
    delay(1000);
}