/* file: readid.c	G. Moody	8 August 1983
			Last revised:	8 March 1992
Read AHA-format ID block, write record name, file lengths on stdout

Copyright (C) Massachusetts Institute of Technology 1992. All rights reserved.
*/

#include <stdio.h>
#ifndef __STDC__
extern void exit();
#endif

main(argc, argv)
int argc;
char *argv[];
{
    int dasize, ansize;
    long dcount, acount;
    static char buf[512], name[9];
    extern int db_g16();	/* part of the DB library (see dbio.c) */

    if (argc < 3) {
	(void)fprintf(stderr, "usage: %s data-block-size annot-block-size\n",
		      argv[0]);
	exit(1);
    }
    dasize = atoi(argv[1]);
    ansize = atoi(argv[2]);
    (void)fread(buf, 1, 24, stdin);
    (void)sscanf(buf, "%s", name);
    dcount = (db_g16(stdin) * 512L + dasize - 1) / dasize;
    (void)fread(buf, 1, 14, stdin);
    acount = (db_g16(stdin) * 512L + ansize - 1) / ansize;
    (void)printf("%s %ld %ld\n", name, dcount, acount);
    exit(0);	/*NOTREACHED*/
}