13 , 616Xt.v .)