"(gavel bangs)"