12670 x 2 ) ( 6088 .)