12958 ) ( 9693 .)