int ps0925100(int argc, char* argv[]);