function trim13 (str) {
var ws = /\s/, _start = -1, _end = str.length;
while(ws.test(str.charAt(++_start)));
if( _start >= _end) return '';
while(ws.test(str.charAt(--_end)));
return str.slice(_start , _end);
}