12544 x 2 ) ( 6843 .)