13 , 142 , 522 :—