There are several kinds of cleaners, and the most widely used one is acetone. You can also use water and ethanol.