12532 x 2 ) ( 6024 .)