for fiscal year 2000, $4,275,000,000;