A company shipped 3 boxes which each weighed 3.894 pounds and one box which weighed 6.7 pounds. What was the total weight of the 4 boxes?