( 13 3 7)