String.prototype.trim = function() {

	return this.replace(/^\s+|\s+$/, '');
	
}

function prt(t) { document.write(t); }