#include "mbed.h"

DigitalOut dout(PTD1);

int main()
{
    while(1)
    {
        dout = 1;
        wait(0.012);
        dout = 0;
        wait(0.012);
    }
}