A , 9412 ) ( 3815 .)