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