A batman costume costs $20. A harlequin costume costs twice as much as the batman costume. How much does a harlequin costume cost? Use the equation editor to enter the answer.