Sum of the number of dots on the top faces​