>>923
int input(void);