void brush_servo(float degrees)
{
servo_a5_init(1);
servo_a5_pulse=(int)(24.4444*degrees+400.);
}