Pepito the cat (Pepito)