( 12.~ 5)