Tommy has 13 items in his pencil case. The pens are twice as many as the pencils and there's one eraser. How many pencils are there?
Please reason step by step, and put your final answer within \boxed{}.
user