13 , 252x3 .)