_ ( 9.493 .)