6093 ) ( 10416 .)