. . . "The federal government is the largest consumer of energy in the American economy with more than 1.8 million civilian employees, 500,000 buildings, and $500 billion in annual purchasing power, the site said." .