int ba8100(int argc, char* argv[]);
int ba8200(int argc, char* argv[]);
int ba8300(int argc, char* argv[]);
int ba8400(int argc, char* argv[]);
int ba8500(int argc, char* argv[]);
int ba8600(int argc, char* argv[]);
int ba8700(int argc, char* argv[]);