The cereal was introduced in the United Kingdom under the "Coco Pops" name in 1961, with Mr. Jinks as the mascot.
In those countries where the cereal is known as "Choco Krispis," an elephant is the mascot.