#ifndef __DB1_H
#define __DB1_H

int db1100(int argc, char* argv[]);
int db1200(int argc, char* argv[]);
int db1300(int argc, char* argv[]);

#endif