A mother gives birth to triplets. The individual weights of the babies at birth are 4 lb 2 oz, 4 lb 5 oz, and 3 lb 13 oz. Find the total birth weight of the triplets.