2/6     Recently the number of US government workers surpassed the number
        workers in US manufacturing.  A good sign.