; and for payments to the Department of Defense Military Retirement Fund, $4,870,947,000. Reserve personnel, navy For pay, allowances, clothing, subsistence, gratuities, travel, and related expenses for personnel of the Navy Reserve on active duty under section 10211 of title 10, United States Code, or while serving on active duty under section 12301(d) of title 10, United States Code, in connection with performing duty specified in section 12310(a) of title 10, United States Code, or while undergoing reserve training, or while performing drills or equivalent duty, and expenses authorized by section 16131 of title 10, United States Code; and for payments to the Department of Defense Military Retirement Fund, $2,059,521,000. Reserve personnel, marine corps For pay, allowances, clothing, subsistence, gratuities, travel, and related expenses for personnel of the Marine Corps Reserve on active duty under section 10211 of title 10, United States Code, or while serving on active duty under section 12301(d) of title 10, United States Code, in connection with performing duty specified in section 12310(a) of title 10, United States Code, or while undergoing reserve training, or while performing drills or equivalent duty, and for members of the Marine Corps platoon leaders class, and expenses authorized by section 16131 of title 10, United States Code; and for payments to the Department of Defense Military Retirement Fund, $787,090,000. Reserve personnel, air force For pay, allowances, clothing, subsistence, gratuities, travel, and related expenses for personnel of the Air Force Reserve on active duty under sections 10211, 10305, and 8038 of title 10, United States Code, or while serving on active duty under section 12301(d) of title 10, United States Code, in connection with performing duty specified in section 12310(a) of title 10, United States Code, or while undergoing reserve training, or while performing drills or equivalent duty or other duty, and expenses authorized by section 16131 of title 10, United States Code