id_to_string = (Hashtbl.create 50: (int,string) Hashtbl.t)