let hash d = (Dscr.dsc_id d)