Dotty vs Randy

Dotty

name
  • A diminutive of the female given name Dorothy, also spelled Dottie. 

Randy

name
  • A diminutive of the female given name Miranda. 

  • A diminutive of the male given name Randolph, used as a male given name in the US. 

  • A diminutive of the male given name Randall, used as a male given name in the US. 

How often have the words Dotty and Randy occurred in a corpus of books? (source: Google Ngram Viewer )