13 , 125 : 3 & lt;