do { elements.push(Math.random()); } while (--n); 
while (n--) { elements.push(Math.random()); } 
Vector.Random = function(n) {  var elements = [];  do { elements.push(Math.random());  } while (--n);  return Vector.create(elements);};
3123	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3123/5bb35ddb3516d7e68f3747d86540ffaa68de3fe3/vector.js/buggy/src/vector.js