Any justice of the Supreme Court or judge of the circuit court of this state who is5 automatically retired pursuant to the provisions of in accordance with § 16-1-4.1 or 16-6-31, or6 who, having reached age seventy, retired prior to January 7, 1975, and who reaches age eighty and has not fully qualified for retirement benefits as provided by in accordance with this chapter, shall nevertheless receive retirement benefits in the proportion that his the justice's or judge's total time served bears to fifteen years, or if he has served. A justice or judge who serves in10 excess of fifteen years then shall receive full benefits under this chapter.11