if(!len || str.length <= len){ return str; } 
if(!len || str.length <= len){ return str; } 
dojo.string.summary = function(/*string*/str, /*number*/len){// summary://	Truncates 'str' after 'len' characters and appends periods as necessary so that it ends with "..."	if(!len || str.length <= len){		return str; // string	}	return str.substring(0, len).replace(/\.+$/, "") + "..."; // string}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/2f1d2cb699c9d9329e8b782b0463156e211cb0f6/struts_dojo.js.uncompressed.js/buggy/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js