17477x6 ) ( 3912 .)