13388 x2 ) ( 7335 .)