if(!Array.push) {
	Array.prototype.push = function() {
		for(var i=0; i<arguments.length; i++)
			this[this.length] = arguments[i]
		return this.length
	}
}

String.prototype.trim = function() {
	return this.replace(/^\s+|\s+$/, '')
}

document.getElementsByClassName = function(className) {
	var ret = new Array()
	var exp = new RegExp('(^|\\s)' + className.replace(/-/g,'\\-') + '($|\\s)')
	var elements = document.getElementsByTagName('*').length>0 ? document.getElementsByTagName('*') : document.all
	for(var i=0; i<elements.length; i++) {
		if(exp.test(elements[i].className))
			ret[ret.length] = elements[i]
	}
	return ret
}