var HTMLDocument = new Object();

// PUBLIC STATIC CONSTANTS

// PUBLIC VARS

// PRIVATE VARS

// PUBLIC METHODS

HTMLDocument.write = function(str){
  document.write(str);
}

HTMLDocument.getElement = function(elementId) {
	if (browser.isIE) {
	    return window[elementId];
	} else {
	    return document[elementId];
	}
}


function StringBuffer() {
	this.buffer = [];
}

StringBuffer.prototype.append = function append(string) {
	this.buffer.push(string);
	return this;
};

StringBuffer.prototype.toString = function toString() {
	return this.buffer.join("");
};

String.prototype.trim = function () {
    return this.replace(/^\s*/, "").replace(/\s*$/, "");
}