@Contract(pure = true)
    public @NotNull Element attr(@NonNls String name, int value) {
      return new Element(myTagName, myAttributes.with(name, Integer.toString(value)), myChildren);
    }
@Contract(pure = true)
    public @NotNull Element attr(@NonNls String name, int value)