If a pencil costs 5 pounds, how much do 3 pencils cost?