double secnds(start_time)
double	start_time;
{
	extern float FOR$SECNDS();

	return(FOR$SECNDS(&start_time));
}