File:Tomas mascot.JPG