public static void writeHtmlQuotingSpecialCharacters(PrintableStringWriter writer, String input) {
    { char ch = Stella.NULL_CHARACTER;
      String vector000 = input;
      int index000 = 0;
      int length000 = vector000.length();

      for (;index000 < length000; index000 = index000 + 1) {
        ch = vector000.charAt(index000);
        Stella.writeHtmlCharacterQuotingSpecialCharacters(writer, ch);
      }
    }
    return;
  }