#include "tone.h"
#define buzzer 13
void setup() {
 pinMode(buzzer , OUTPUT);
 pinMode(12 , INPUT_PULLUP);
}

void loop() {
 switch (digitalRead(12)){
  case LOW :
  tone(buzzer , NOTE_1000);
  break;

  case HIGH : 
  noTone(buzzer);
  break;
 }
}