what was the mascot for the 2013-2014 principal named frank hendricsen?
gators