( 13 6 3)