There are 12 red and blue pencils on a desk.There are twice as many red pencils as blue pencils.How many read pencils are there on the desk?