double ddtime(void)
{
 double q;

 q = (GetTickCount() * 1.0e-03);

 return q;
}