12787 x 2 ) ( 6007 .)