10831x2 ) ( 578 .)