( 13 2 7)