Of the cats, by the cats, for the cats

#include "mbed.h"
#include "stdlib.h"  //For rand function 
#include "Servo.h"
#include "HCSR04.h"
HCSR04 sensor(D11, D12); //(Trig Pin, Echo Pin) 
Servo myservo(D6);
int main()
{
  	int number = 0;
        while(1){ 
		long d = sensor.distance(1);
        	printf("d = %d\r\n",d);   
		myservo = 0.5;   
		if(d<=25)    //25cm
	        {
			number = rand()%11;  //0~10    
			double a = number*0.1;
			printf("%d = %3f\r\n",number,a);                      
			myservo = number*0.1;
		}    
	wait(0.2); 
    }
}