12207 x 2 ) ( 5777 .)