13720x2 ) ( 6413 .)