10579x1 ) ( 472 .)