# File hexja, line 569
  def add7BitStr!(str)
    if $outputAsHTML
      str = str.gsub(/&/, "&")
      str = str.gsub(/</, "&lt;")
      str = str.gsub(/>/, "&gt;")
      @str += str
    else
      @str += str
    end
  end