function dummy () {;}

function getObj (id) {
	if (document.all) return document.all[id];
	if (document.getElementById) return document.getElementById(id);
	return false;
}

function replace_all (what, withwhat) {
	arr = this.split (what);
	return arr.join (withwhat); 
}

String.prototype.replaceAll = replace_all;

function _trim () {
	out = this.toString();
	_front = /^[\s]+/i;
	_back = /[\s]+$/i;
	out = out.replace(_front, "");
	out = out.replace(_back, "");
	return out;
}

String.prototype.trim = _trim;