12 . ( 11988 .)