13 , 148X3 .)