int ha1100(int argc, char* argv[]);
int ha1200(int argc, char* argv[]);
int ha1300(int argc, char* argv[]);