code: public void addHeader(String s) throws IOException
      {
          Integer h=(Integer)__headerMap.get(s);
          if (h!=null)
              addInt(h.intValue());
          else
              addString(s);
      }
docs: /* ------------------------------------------------------------