return str.substring(0,len).replace(/\.+$/,"")+"..."; }; 
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/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js