( 17 1 2)