int LEDr = 13;
int Button = 12;

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

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