11940 x 4 ) ( 6477 .)