$fn_number = get_latest_filename(); # read the history file
while ( -e $fn_number ) {
                $fn_number++;
                update_fn_number();  # update the history file
}
write_thefile($fn_number);