What is the cross product of #<-3,0,1># and #<0,8,5>#?