code: function(/**string*/ encoding) {
  		if (/ISO-8859-([0-9]+)/i.test(encoding)) {
  			IO.encoding = "ISO8859_"+RegExp.$1;
  		}
  		else {
  			IO.encoding = encoding;
  		}
  	}
docs: Sets {@link IO.encoding}.
  Encoding is used when reading and writing text to files,
  and in the meta tags of HTML output.