; and (C) such individual shall be paid the lump-sum credit computed under section 8331(8) of title 5, United States Code, upon making application therefor with the Office of Personnel Management. (l) Retirement for disability (1) Any immigration judge who becomes permanently disabled from performing his duties shall certify to the President, or the appellate division, as applicable, his disability in writing. If the chief judge retires for disability, his retirement shall not take effect until concurred in by the President. (2) Whenever any immigration judge who becomes permanently disabled from performing his duties does not retire or the appellate division, as applicable, and the President finds that such immigration 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 immigration judge is necessary for the efficient dispatch of business, the President or the appellate division, as applicable, shall declare such immigration judge to be retired. (m) Revocation of election To receive retired pay (1) In general Notwithstanding subsection (e)(2), an individual who has filed an election to receive retired pay under subsection (h) may revoke such election at any time before the first day on which retired pay (or compensation under section 603 in lieu of retired pay) would (but for such revocation) begin to accrue with respect to such individual. (2) Manner of revoking Any revocation under this subsection shall be made by filing a notice thereof in writing with the Director of the Office of Personnel Management. The Office of Personnel Management shall transmit to the chief judge a copy of each notice filed under this subsection. (3) Effect of revocation In the case of any revocation under this subsection— (A) for purposes of this section, the individual shall be treated as not having filed an election to receive retired pay under subsection (h), (B) no credit shall be allowed for any service as an