'ristitulo'
"function ristitulo(u,v) {\n"
+"var w=[];\n"
+"w[0]=u[1]*v[2]-u[2]*v[1];\n"
+"w[1]=u[2]*v[0]-u[0]*v[2];\n"
+"w[2]=u[0]*v[1]-u[1]*v[0];\n"
+"return w;\n"
+"}\n";