function substring_dots(text, len){
	if (text.length <= len)
		return text;
	else
		return text.substring(0,len)+'...';
}

function stringSubstring(string,len) {
	string = string.replace(/<[^>]+>/g, '');
	
	if (string.length > len)
		string = string.substring(0,len)+'...';
	
	return string;
}



//StringBuffer class
var StringBuffer = new Class({
	
	strings : null,
	
	initialize : function(){
		this.strings = [];
	},
	
	append: function(string){
		this.strings.push(string);
	},
	
	toString : function(){
		return this.strings.join("");
	}
	
});
//END: StringBuffer class