method get_name id =
    Hashtbl.find id_to_string id