57: (Elenchus bibliographicus biblicus)