10179x6 ) ( 8140 .)