//Stop watch  2/14/03

void main()
{
    float time = (float)mseconds();
    while(prgm_button()==0){
        printf("%d s", (int)(((float)mseconds()-time)*.001));
        sleep(.1);
    }
}