18417x12 ) ( 4709 .)