var prodR = function(a,b) { return Point3D(a*b.getX3D(),a*b.getY3D(),a*b.getZ3D()); };