void savefile(void);
int loadtime(int idlevel);
void restore(void);
void savetime(float framelevel, int id_level);
void reset_times();