from machine import Pin, PWM

#pwm1 = PWM(Pin(15), freq=5000, duty=512)
pwm1 = PWM(Pin(15))
pwm1.freq(5000)
pwm1.duty(512)


print("ok")