12555 x 2 ) ( 6023 .)