( 17 2 5)