( 12 5 5)