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