return {x: s * v.x, y: s * v.y, z: s * v.z}; }, 
return {x: s * v.x, y: s * v.y, z: s * v.z}; }, 
	scale: function(s, v){		return {x: s * v.x, y: s * v.y, z: s * v.z};	},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/c7d2075e077f52d30bb22fd290f5cbb6f2dca879/lighting.js/clean/gfx3d/lighting.js