13 , 671X1 *)