Quemador Led con Pulsador (Push)

1void setup() {
2  pinMode(13, INPUT);
3  pinMode(7, OUTPUT);
4}
5
6void loop() {
7  if (digitalRead(13) == HIGH) {
8    digitalWrite(7, HIGH);
9  } else {
10    digitalWrite(7, LOW);
11  }
12}