10 percent of 134 billion = 13.4