FUNCTION df_timestr,value
  
  hour=LONG(value)/3600
  minute=LONG(value-3600*hour)/60
  sec=value MOD 60
  RETURN, STRING(hour,minute,sec, $
	  FORMAT="(i2.2,':',i2.2,':',i2.2)")
END