Does the following code work correctly? Change the code, using only PWM period and pulsewidth functions, to have a duty cycle of 70%.

#include "mbed.h"

PwmOut PWM1(Dout1);

int main() {

PWM1.period(0.01);

PWM1.pulsewidth_ms(50);

}