9412 ) ( 3816 .)