Giudici 20:17

E gli uomini d'Israele, oltre Beniamino, ad eccezione di questa tribù, erano contati quattrocentomila uomini che estraevano la spada; tutti questi erano uomini di guerra.