Cameron buys a pack of pencils and a pencil sharpener for $15. The pencil sharpener costs twice as much as the pack of pencils. How much does the pack of pencils cost?