How do you remove permanent marker off a baby dolls head?

Denatured alcohol (at any hardware store) will remove permanent marker, but if the baby doll is soft rubbery plastic, some of the dye may have penetrated deeply enough that it won't come off. It will, at least, make it much lighter, though.