12314 x 2 ) ( 5937 .)