How do you compute the dot product for 6j4k?