function trimString( str ) { 
function trimString(str) { 
function trimString( str ){    return str.replace( /(^\s+|\s+$)/g, "" );}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/a8adf4992620da379274cea3395ed3099b6769d6/calWcapUtils.js/buggy/calendar/providers/wcap/calWcapUtils.js