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