What is the dot product of #<-1,4,7># and #<9,-7,5 > #?