A man struck with a gavel to make a ding-dong sound.