int ha0100(int argc, char* argv[]);
int ha0200(int argc, char* argv[]);
int ha0300(int argc, char* argv[]);
int ha0400(int argc, char* argv[]);
int ha0500(int argc, char* argv[]);
int ha0600(int argc, char* argv[]);