int get_unique_window_number ();
void return_window_number (int n);
void init_numbers ();