void arm_servo(float degrees)
{
servo_a7_init(1);
servo_a7_pulse=(int)(24.4444*degrees+400.);
}