int next_key()
Gives back a possible argument to the constructor of Scanner ; allows the possibility to continue to scan even if the Scanner object is lost.