code: function(/**string*/ encoding) {
  		if (/UTF-8/i.test(encoding)) {
  			IO.encoding = "utf8";
  		}
  		else if (/ASCII/i.test(encoding)) {
  			IO.encoding = "ascii";
  		}
  		else {
  			throw("Unsupported encoding: "+encoding+" - perhaps you can use UTF-8?");
  		}
  	}
docs: Sets {@link IO.encoding}.
  Encoding is used when reading and writing text to files,
  and in the meta tags of HTML output.