docs: public String getTime()
      {
          //
          // standardise the format.
          //
          if (time.length() == 11)
          {
              return time.substring(0, 10) + "00GMT+00:00";
          }
          else if (time.length() == 13)
          {
              return time.substring(0, 12) + "GMT+00:00";
          }
          else if (time.length() == 17)
          {
              return time.substring(0, 12) + "GMT" + time.substring(12, 15) + ":" + time.substring(15, 17);
          }
  
          return time;
      }