void change_key()