int is0500(int argc, char* argv[]);
int is0600(int argc, char* argv[]);
int is0700(int argc, char* argv[]);