Utilisation de timer1 (get_timer1())????

Bon jour . quand j 'utilise la fonction get_timer1(); (programme avec PICC compiler ) j'obtient des valeurs bizarre . je comprend pas ou se trouve le problème ,dans l'affichage de résultat ,ou dans l'utilisation du TIMER1. voila le programme et je vous remercie de m'aider.
#define GET_DISTANCE(t) (t / 58)
#define DISTANCE_INFINITE (0xffff)
#define use_portd_lcd TRUE
unsigned int16 echo_delay;
float dis=0;
void monitor_distance_sensor(void)
{
output_high(PIN_B3);
delay_ms(300);
output_low(PIN_B3);
while(!input(PIN_B4)) ;
disable_interrupts(GLOBAL);
set_timer1(0);
while( input(PIN_B4) );
echo_delay = get_timer1();
enable_interrupts(GLOBAL);
if (echo_delay >= 35000) {
dis = DISTANCE_INFINITE;
}
else {
dis = GET_DISTANCE(echo_delay);
}
delay_ms(50);
printf(lcd_putc,"echo_delay=: %lu",echo_delay);
delay_ms(5000);
}

void main()
{
setup_adc_ports(NO_ANALOGS);
setup_adc(ADC_OFF);
setup_psp(PSP_DISABLED);
setup_spi(FALSE);
setup_timer_0(RTCC_INTERNAL|RTCC_DIV_1);
setup_timer_1(T1_INTERNAL|T1_DIV_BY_1);
setup_timer_2(T2_DISABLED,0,1);
lcd_init();
set_tris_b(0b00010000);
output_low(PIN_B3);
monitor_distance_sensor();
}