function raze(a) { // like .join('') except producing an array instead of a string var r= []; for (var j= 0; j