Jolly vs Randy

Jolly

name

  • A female given name 

  • A surname. 

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 Jolly and Randy occurred in a corpus of books? (source: Google Ngram Viewer )