code: def get_timex(self, timex_id):
          
          if timex_id in self.idx:
              return Ctime(self.idx[timex_id])
          else:
              return None
docs: Returns the timex object for the supplied identifier
          @type timex_id: string
          @param timex_id: timex identifier