I have some pen (biro) marks on the lining of the roof of my car. what is the best way to get them off?

ta