13720 x 2 ) ( 6413 .)