David spent $3.26 on paper, 12.34 on pencils, and $1.25 on an eraser. How much did he spend in all?