' , 5 ] 93 6 ' 12 7 .'