( 17 2 3)