6711x2 ) ( 4150 .)