this.plane = this.plane.rotate(t, line); 
  rotate: function(t, line) {    this.vertices.each(function(node) {      node.data.setElements(node.data.rotate(t, line).elements);    });    return this;  },
3123	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3123/bd0f2fcb88bbd7a7775a929237058fc0fa8ef8db/geometry.src.js/buggy/src/geometry.src.js