from machine import Pin, time_pulse_us
from time import sleep_us, sleep_ms

ech = Pin(13, Pin.IN)
trg = Pin(5, Pin.OUT)

while True:
    trg.off()
    sleep_us(5)
    trg.on()
    sleep_us(10)
    trg.off()