. . . "The Federal Government is the largest consumer of energy in the United States, with 360,000 buildings and 650,000 vehicles." .