for fiscal year 2002, $3,150,000,000;