s ) 712 (a