( 12 02 .)