File:Eddy mascot.jpg