7 centum of the amount of his or her contributions by the number of complete years of his or her contributory service; (b) if his or her contributory service amounts to twenty years or more but less than twenty-five years, double the amount of his or her contributions; (c) if his or her contributory service amounts to twenty-five years or more, double the amount of his or her contributions, together with an amount obtained by multiplying two per centum of double the amount of his or her contributions by the number of complete years of his or her contributory service. Benefit for surviving spouse of deceased judge 11. If a judge whose pensionable service amounts to two years or more dies and leaves a spouse, there shall be paid to the surviving spouse a pension equal to two-thirds of⎯ (a) the pension, if any, to which the judge would have been entitled in terms of section 5 had he or she retired immediately before his or her death; or (b) the pension to which the judge would have been entitled in terms of section 6 had he or she retired on medical grounds immediately before his or her death; whichever is the greater. Benefit for surviving spouse of deceased pensioner 12. If a former judge who is a pensioner under this scheme dies and leaves a spouse, there shall be paid to the surviving spouse a pension equal to two-thirds of the pension to which the former judge was entitled or would have been entitled had he or she not commuted a portion thereof in terms of section 20. Pensions for children of deceased judge or pensioner 13.(1) If a judge whose pensionable service amounts to two years or more dies and leaves a spouse and one or more children, or one or more children but no spouse, there shall be paid in respect of the surviving children such children's pensions as would be payable, mutatis mutandis, in terms of the Pensions Regulations had the deceased judge been a contributor. (2) If a former judge who is a pensioner under this scheme dies leaving a spouse and one or more children, or one or more children but no spouse, there shall be paid in respect of the surviving children such children's pensions as would be payable, mutatis mutandis, in terms of the Pensions Regulations had the deceased judge been a contributor. Additional benefits payable to surviving spouse and children or dependants of deceased judge 14. If a judge whose pensionable service amounts to two years or more dies and leaves a spouse, or does not leave a spouse but leaves one or more dependants, there shall be paid to the surviving spouse or the dependant or dependants, as the case may be, in addition to any amount payable in terms of section 11 or 13, such amount as would be payable, mutatis mutandis, in terms of section 19 of the Pensions Regulations had the deceased judge been a contributor.