FUNCTION df_formattime,mins

  time_str=STRARR(N_ELEMENTS(mins))
  FOR i=0, N_ELEMENTS(mins)-1 DO BEGIN
  qhr=LONG(mins[i])/60
  qmn=LONG(mins[i]-(60*qhr))
  qsc=(mins[i] - fix(mins[i])) * 60
  time_str[i]=STRING(qhr,qmn,qsc,FORMAT="(i2.2,':',i2.2,':',i2.2)")
  ENDFOR
  RETURN,time_str
END