Image credit: Amanda Edwards/Getty Images

At a town hall in Cincinnati, Ohio, just now, a young Girl Scout named Julie asked the president what his favorite Girl Scout cookie is.

He said thin mints.

A fan of Peanut Butter Patties booed this announcement, which the president laughed about.

The Thin Mint is the most popular Girl Scout Cookie.

Q: What are the best-selling Girl Scout Cookies?

A: The biggest sellers are:

• Thin Mints ®: 25 percent
• Samoas ®/Caramel deLites ®19 percent
• Peanut Butter Patties ®/Tagalongs ®: 13 percent
• Peanut Butter Sandwich/Do-si-dos ®11 percent
• Shortbread/Trefoils ®: 9 percent

The other varieties combined account for the remaining 23 percent.

- Jake Tapper

Get more pure politics at ABC News.com/Politics and a lighter take on the news at OTUSNews.com