( 12597 . ) a.