int ha3100(int argc, char* argv[]);
int ha3700(int argc, char* argv[]);
int ha3800(int argc, char* argv[]);
int ha3900(int argc, char* argv[]);