from time import ticks_us, sleep_ms
from machine import Pin

Buzzer = Pin(13, Pin.OUT)
Button = Pin(15, Pin.IN, Pin.PULL_UP)
while(1):
    while(Button.value() == 1):
        pass
    while(Button.value() == 0):
        pass
    sleep_ms(3000)
    Buzzer.value(1)
    x0 = ticks_us()
    while(Button.value() == 1):
        pass
    x1 = ticks_us()
    Buzzer.value(0)
    print(x1 - x0)