"(banging gavel)"