John bought groceries for $1.25, $3.80, and $7.10. What was his total cost, rounded to the nearest dollar?
11
12
13
14
15
