( 13 7 3)