10357x1 ) ( 5224 .)