let wdmap = Hashtbl.create 1024