13358 x2 ) ( 6247 .)