13 , 614X3 .)