( 12 , 58 » .)