What's on doctors' ball point pens?