( 12 8 3)