What is a judge's mallet called?

It's a Gavel. (rhymes with gravel)