Appendix: Budget of the U.S. Government Fiscal Year 2013 (BUDGET OF THE UNITED STATES GOVERNMENT APPENDIX)