private class HTMLRaw
	super HTMLTag

	var content: String
	redef fun write_to(stream) do stream.write content
end