do { product += this.elements[n-1] * V[n-1]; } while (--n); 
while (n--) { product += this.elements[n] * V[n]; } 
  dot: function(vector) {    var V = vector.elements || vector;    var i, product = 0, n = this.elements.length;    if (n != V.length) { return null; }    do { product += this.elements[n-1] * V[n-1]; } while (--n);    return product;  },
3123	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3123/5bb35ddb3516d7e68f3747d86540ffaa68de3fe3/vector.js/buggy/src/vector.js