ted time