RETIREMENT.

SEC. 954. RETIREMENT. (a) Subsection (b) of section 7447 (relating to time of retirement) is amended to read as follows: “(b) Retirement.— “(1) Any judge shall retire upon attaining the age of 70. “(2) Any judge who has attained the age of 65 may retire any time after serving as judge for 15 years or more. “(3) Any judge who is not reappointed following the expiration of the term of his office may retire upon the completion of such term, if (A) he has served as a judge of the Tax Court for 15 years or more and (B) not earlier than 9 months preceding the date of the expiration of the term of his office and not later than 6 months preceding such date, he advised the President in writing that he was willing to accept reappointment to the Tax Court. “(4) Any judge who becomes permanently disabled from performing his duties shall retire. Section 8335(a) of title 5 of the United States Code (relating to automatic separation from the service) shall not apply in respect of judges.” (b) Subsection (d) of such section (relating to retired pay) is amended to read as follows: 83 Stat. 731 “(d) Retired Pay.—Any individual who— “(1) retires under paragraph (1), (2), or (3) of subsection (b) and elects under subsection (e) to receive retired pay under this subsection shall receive retired pay during any period at a rate which bears the same ratio to the rate of the salary payable to a judge during such period as the number of years he has served as judge bears to 10; except that the rate of such retired pay shall not be more than the rate of such salary for such period; or “(2) retires under paragraph (4) of subsection (b) and elects under subsection (e) to receive retired pay under this subsection shall receive retired pay during any period at a rate— “(A) equal to the rate of the salary payable to a judge during such period if before he retired he had served as a judge not less than 10 years; or “(B) one-half of the rate of the salary payable to a judge during such period if before he retired he had served as a judge less than 10 years. Such retired pay shall begin to accrue on the day following the day on which his salary as judge ceases to accrue, and shall continue to accrue during the remainder of his life. Retired pay under this subsection shall be paid in the same manner as the salary of a judge. In computing the rate of the retired pay under paragraph (1) of this subsection for any individual who is entitled thereto, that portion of the aggregate number of years he has served as a judge which is a fractional part of 1 year shall be eliminated if it is less than 6 months, or shall be counted as a full year if it is 6 months or more.” (c) Subsection (g) of such section is amended by striking out paragraphs (2), (3), and (4) and inserting in lieu thereof the following: “(2) Effect of electing retired pay.—In the case of any individual who has filed an election to receive retired pay under subsection (d)— “(A) no annuity or other payment shall be payable to any person under the civil service retirement laws with respect to any service performed by such individual (whether performed before or after such election is filed and whether performed as judge or otherwise); “(B) no deduction for purposes of the Civil Service Retirement and Disability Fund shall be made from retired pay payable to him under subsection (d) or from any other salary, pay, or compensation payable to him, for any period beginning after the day on which such election is filed; and “(C) such individual shall be paid the lump-sum credit computed under section 8331(8) of title 5 of the United States Code upon making application therefor with the Civil Service Commission.” (d) Section 7447 (relating to retirement) is amended by adding at the end thereof the following new subsection: “(h) Retirement for Disability.— “(1) Any judge who becomes permanently disabled from performing his duties shall certify to the President his disability in writing. If the chief judge retires for disability, his retirement shall not take effect until concurred in by the President. If any other judge retires for disability, he shall furnish to the President a certificate of disability signed by the chief judge. “(2) Whenever any judge who becomes permanently disabled from performing his duties does not retire and the President finds 83 Stat. 732 that such judge is unable to discharge efficiently all the duties of his office by reason of permanent mental or physical disability and that the appointment of an additional judge is necessary for the efficient dispatch of business, the President shall declare such judge to be retired.” (e) Section 7447 (relating to retirement) is further amended as follows: (1) Paragraph (4) of subsection (a) is repealed. (2) Paragraph (1) of subsection (g) is amended by striking out “Civil Service Retirement Act” and inserting in lieu thereof “civil service retirement laws” and by striking out “such Act applies” and inserting in lieu thereof “such civil service retirement laws apply”.