// $Id: bads.cmd,v 1.1 1995/08/08 15:14:46 srk Exp $

IS 812* | IS 837* | IS 838* | IS 839* | IS 840* | IS 841* | IS 842* | IS 843* | IS 859* | IS 860* | IS 861* | IS 862* | IS 863* | IS 864* | IS 865* | IS 866* | IS 867* | IS 868* | IS 869* | IS 870* | IS 873* | IS 968*