The Order of Business is No. 1, Employment (Contractual Retirement Ages) Bill 2025 - Committee and Remaining Stages, to be taken at 12.45 p.m. and the proceedings thereon shall, if not previously concluded, be brought to a conclusion at 1.30 p.m. by the putting of one question by the Chair, which shall, in relation to amendments, include only those set down and accepted by Government; Nos. 2 and 3, motions regarding the proposed approval by Seanad Éireann of the Credit Institutions (Financial Support) (Revocation) Scheme 2025 and the Credit Institutions (Eligible Liabilities Guarantee) (Revocation) Scheme 2025, to be taken at 1.45 p.m. and to conclude at 2.45 p.m., if not previously concluded, the motions shall be discussed together, with the time allocated to the opening remarks of the Minister not to exceed five minutes, group spokespersons not to exceed five minutes, all other Senators not to exceed three minutes, time may be shared, and the Minister to be given not less than five minutes to reply to the debate; No. 4, Mental Health Bill 2024 – Committee Stage (resumed), to be taken at 4 p.m. and to adjourn at 6.30 p.m., if not previously concluded; No. 5, Local Government (Support for Elected Members) Bill 2024 – Second Stage, to be taken at 6.30 p.m., with the time allocated to this debate not to exceed two hours; and No. 6, Social Welfare and Automatic Enrolment Retirement Savings System (Amendment) Bill 2025 – Second Stage, to be taken at 8.30 p.m. and to conclude at 10.30 p.m., if not previously concluded, with the time allocated to the opening remarks of the Minister not to exceed ten minutes, group spokespersons not to exceed eight minutes, all other Senators not to exceed five minutes, time may be shared, and the Minister to be given no less than ten minutes to reply to the debate.

No. 4 is from 4 p.m. to 6.30 p.m. Is that correct?

Yes.